Planned intervention: On Thursday March 28th 07:00 UTC Zenodo will be unavailable for up to 5 minutes to perform a database upgrade.

There is a newer version of the record available.

Published June 5, 2020 | Version FSE20-submission-ae
Software Open

Replication Artifact for Article 'Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization'

  • 1. LMU Munich, Germany

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