Region-based memory management (1997)

by M Tofte, J-P Talpin
Venue:Information and Computation