Ownership types for safe region-based memory management in real-time Java.

Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard

Browse the full PLDI paper archive.