DMCA

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management (2003)

by Ran Shaham , Eran Yahav , Elliot K. Kolodner , Mooly Sagiv
Venue:In Static Analysis Symposium
Citations:29 - 8 self