Symbolic heap abstraction with demand-driven axiomatization of memory invariants.

Isil Dillig, Thomas Dillig, Alex Aiken

Browse the full OOPSLA paper archive.