Region-based memory management in Cyclone (2001)

by D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney
Venue:In Programming Language Design and Implementation (PLDI