Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management
Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv · 2003
We present a framework for statically reasoning about temporal heap safety properties. We focus on local temporal heap safety properties, in which the verification process may be performed for a program object independently of other program objects.