Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.

Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv

Browse the full SAS paper archive.