Selected Scientific Publications
Export 2 results:Author Title Type [ Year]
Filters: Keyword is escape analysis and Author is Fausto Spoto [Clear All Filters]
Deriving Escape Analysis by Abstract Interpretation. Higher-Order and Symbolic Computation. 19:415–463.. 2006.
A Foundation of Escape Analysis. Algebraic Methodology and Software Technology; Proceedings of 9th International Conference, AMAST 2002. 2422:380–395.. 2002.