Escape Analysis: Papers

To Appear	Logic Programs as Compact Denotations, with Fausto Spoto. Accepted for the Fifth International Symposium on Practical Aspects of Declarative Languages, PADL '03, New Orleans, 13-14 Jan 2003.
Published in 2002	A Foundation of Escape Analysis, with Fausto Spoto. In 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, St. Gilles les Bains, Reunion Island, France, September 9-13, 2002, vol. 2422 of Lecture Notes in Computer Science, H. Kirchner, C. Ringeissen, Eds., pp. 380--395. A Refinement of the Escape Property, with Fausto Spoto. In Verification, Model Checking and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 2002, Revised Papers. vol. 2294 of Lecture Notes in Computer Science, Agostino Cortesi, Ed., pp 154-166.
Other Links	Technical Reports at Leeds

Home | Personal Info | Research | Papers | Research Degrees Admissions Tutor | Gödel | Interests | People | Links