DMCA

Intersecting heap abstractions with applications to compile-time memory management (2005)

by Gilad Arnold , Roman Manevich , Mooly Sagiv , Ran Shaham
Venue:In Symp. on Princ. of Prog. Lang
Citations:3 - 2 self