Selected Scientific Publications
Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is D and Author is Fausto Spoto [Clear All Filters]
.
2006. Deriving Escape Analysis by Abstract Interpretation. Higher-Order and Symbolic Computation. 19:415–463.