Published June 5, 2020
| Version FSE20-submission-ae
Software
Open
Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'
Description
This archive contains the components to replicate the experiments of the paper
'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'.
Files
bam-interprocedural.zip
Files
(121.2 MB)
Name | Size | Download all |
---|---|---|
md5:08866fec14de8497bdf3c532a66a9e6f
|
121.2 MB | Preview Download |