Selected Scientific Publications

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is C  [Clear All Filters]
Covington MA, Bagnara R, O’Keefe RA, Wielemaker J, Price S.  2012.  Coding Guidelines for Prolog. Theory and Practice of Logic Programming. 12:889-927.
Mesnard F, Bagnara R.  2005.  cTI: A Constraint-Based Termination Inference Tool for ISO-Prolog. Theory and Practice of Logic Programming. 5:243–257.PDF icon MesnardB05TPLP.pdf (252.51 KB)
Hill PM, Bagnara R, Zaffanella E.  1998.  The Correctness of Set-Sharing. Static Analysis: Proceedings of the 5th International Symposium. 1503:99–114.