Main menu
You are here
Publications
, “Abstract Diagnosis of Functional Programs”, Logic Based Program Synthesis and Tranformation – 12th International Workshop, LOPSTR 2002, Revised Selected Papers, vol. 2664. Springer-Verlag, Berlin, 2003.
, “Assertion based Inductive Verification Methods for Logic Programs”, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.
, “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
, “How to Transform an Analyzer into a Verifier”, Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
, “Logic programs as specifications in the inductive verification of logic programs”, Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.
, “Proving properties of Logic Programs by Abstract Diagnosis”, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.
, “VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications”, Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.
, “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.
, “A Theory of Observables for Logic Programs”, Information and Computation, vol. 169, pp. 23–80, 2001.
, “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.
, “An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages”, Università di Udine, 2012.
, “An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs”, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.