Region-based memory management. (1997)

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