Shape Analysis of Single-Parent Heaps.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Browse the full VMCAI paper archive.