CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution).

Karlheinz Friedberger

Browse the full TACAS paper archive.