Precise and compact modular procedure summaries for heap manipulating programs.

Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv

Browse the full PLDI paper archive.