Establishing Local Temporal Heap Safety Properties (2003)

by With Applications To , Ran Shaham , Eran Yahav , Elliot K. Kolodner , Mooly Sagiv
Venue:In Static Analysis Symposium