Chandrasekhar Boyapati Alexandru Salcianu William S. Beebee Martin C. Rinard Ownership types for safe region-based memory management in real-time Java. 324-337 2003 conf/pldi/2003 PLDI http://doi.acm.org/10.1145/781131.781168 db/conf/pldi/pldi2003.html#BoyapatiSBR03