Ownership types for safe region-based memory management in real-time Java (2003)

by Chandrasekhar Boyapati, Alexandru Sălcianu, William Beebee, Martin Rinard
Venue:In Proc. ACM Conference on Programming Language Design and Implementation (PLDI