Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published March 5, 2020 | Version FSE20-submission
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 (119.1 MB)

Name Size Download all
md5:a14ecb7d37c83cdb182e8893ce6eb1f1
119.1 MB Preview Download