Selected papers that cite this one
- Bruno Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In Conference Record of POPL '98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 25-37, San Diego, California, 19-21 January 1998.
- Edwin P. D. Pednault. ADL and the state-transition model of action. Journal of Logic and Computation, 4(5):467-512, October 1994.