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

Ran Shaham Eran Yahav Elliot K. Kolodner Shmuel Sagiv Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. 483-503 2003 conf/sas/2003 SAS http://link.springer.de/link/service/series/0558/bibs/2694/26940483.htm db/conf/sas/sas2003.html#ShahamYKS03