Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.

Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic

Browse the full CC paper archive.