Efficient bottom-up heap analysis for symbolic path-based data access summaries.

Ivan Matosevic, Tarek S. Abdelrahman

Browse the full CGO paper archive.