Precise and compact modular procedure summaries for heap manipulating programs
Dillig, Isil, Dillig, Thomas, Aiken, Alex, Sagiv, MoolyVolume:
47
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2345156.1993565
Date:
August, 2012
File:
PDF, 968 KB
english, 2012