Efficiently Verifiable Escape Analysis

Matthew Q. Beers, Christian Stork, Michael Franz. Efficiently Verifiable Escape Analysis. In Martin Odersky, editor, ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings. Volume 3086 of Lecture Notes in Computer Science, pages 75-95, Springer, 2004. [doi]

Authors

Matthew Q. Beers

This author has not been identified. Look up 'Matthew Q. Beers' in Google

Christian Stork

This author has not been identified. Look up 'Christian Stork' in Google

Michael Franz

This author has not been identified. Look up 'Michael Franz' in Google