Shape Analysis in the Absence of Pointers and Structure.

Matthew Might

Browse the full VMCAI paper archive.