Safe manual memory management in Cyclone (2006)

by N Swamy, M Hicks, G Morrisett, D Grossman, T Jim
Venue:Sci. Comput. Programming