An Extended Form of Must Alias Analysis for Dynamic Allocation.

Rita Z. Altucher, William Landi

Browse the full POPL paper archive.