Main menu
You are here
, “An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages”, Università di Udine, 2012.
, “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, ICLP (Technical Communications), vol. To appear. Schloss Dagstuhl - Leibniz-Zentrum Fuer Informatik, 2012.
, “Automatic Synthesis of Specifications for First Order Curry Programs”, Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.
, “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-based Program Synthesis and Transformation, 20th International Symposium, vol. 6564. Springer-Verlag, Berlin, p. 215--233, 2011.
, “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
, “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
, “An Ontology-based System for Semantic Filtering of XML Data”, Electronic Notes in Theoretical Computer Science, vol. 235, pp. 19–33, 2009.