A semantics for procedure local heaps and its abstractions.

Noam Rinetzky, Jrg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Browse the full POPL paper archive.