"Automated discovery of scoped memory regions for real-time Java."

Morgan Deters, Ron Cytron (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics