Safe manual memory management in cyclone (2006)

by N Swamy, M Hicks, G Morrisett, D Grossman, T Jim
Venue:ISSN 0167-6423. . URL http://dx.doi.org/10.1016/j.scico.2006.02.003