Selected Scientific Publications

Export 4 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is D and Author is Patricia M. Hill  [Clear All Filters]
2006
Hill PM, Spoto F.  2006.  Deriving Escape Analysis by Abstract Interpretation. Higher-Order and Symbolic Computation. 19:415–463.
2002
Zaffanella E, Hill PM, Bagnara R.  2002.  Decomposing Non-Redundant Sharing by Complementation. Theory and Practice of Logic Programming. 2:233–261.PDF icon ZaffanellaHB02TPLP.pdf (237.44 KB)
1997
Hill PM, King A.  1997.  Determinacy and Determinacy Analysis. Journal of Programming Languages. 5:135–171.