Selected Scientific Publications

Export 3 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is software verification and Author is Roberto Giacobazzi  [Clear All Filters]
1992
Bagnara R, Giacobazzi R, Levi G.  1992.  Static Analysis of CLP Programs over Numeric Domains. Actes ‘‘Workshop on Static Analysis ’92’’. 81–82:43–50.
1993
Bagnara R, Giacobazzi R, Levi G.  1993.  An Application of Constraint Propagation to Data-Flow Analysis. Proceedings of ‘‘The Ninth Conference on Artificial Intelligence for Applications’’. :270–276.
1997
Zaffanella E, Giacobazzi R, Levi G.  1997.  Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming. 1997:1–34.PDF icon ZaffanellaGL97JFLP.pdf (329.28 KB)