Establishing local temporal heap safety properties with applications to compile-time memory management.

Ran Shaham Eran Yahav Elliot K. Kolodner Mooly Sagiv Establishing local temporal heap safety properties with applications to compile-time memory management. 264-289 2005 58 Sci. Comput. Program. 1-2 http://dx.doi.org/10.1016/j.scico.2005.02.010 db/journals/scp/scp58.html#ShahamYKS05