Selected Scientific Publications

Export 5 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is D  [Clear All Filters]
1997
Hill PM, King A.  1997.  Determinacy and Determinacy Analysis. Journal of Programming Languages. 5:135–171.
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)
2006
Hill PM, Spoto F.  2006.  Deriving Escape Analysis by Abstract Interpretation. Higher-Order and Symbolic Computation. 19:415–463.
2013
Alezan A, Bagnara R, Mesnard F, Payet É.  2013.  Détection des fonctions de rang linéaires à terme. Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013). PDF icon AlezanBMP13JFPC.pdf (286.56 KB)