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

Chandrasekhar Boyapati et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics