Predicate Abstraction for Linked Data Structures.

Alexander Bakst, Ranjit Jhala

Browse the full VMCAI paper archive.