Main menu
You are here
Publications
, “Abstract Debugging of Logic Programs”, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.
, “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.
, “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.
, “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.
, “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 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.
, “An Algebraic Theory of Observables”, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.
, “The AND-compositionality of CLP Computed Answer Constraints”, Proceedings APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming. pp. 355–366, 1996.
, “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.
, “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.
, “Checking UML Model Consistency”, Proceedings of CILC 2006 - Convegno Italiano di Logica Computazionale. pp. 1–15, 2006.
, “Compositionality of SLD-derivations and their abstractions”, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.
, “Declarative Diagnosis Revisited”, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.
, “Diagnosis of CHIP Programs Using Type Information”, Appia-Gulp-Prode'99, Joint Conference on Declarative Programming. pp. 337–349, 1999.
, “Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs”, Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95. 1995.
, “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.
, “A Methodology for UML Models V&V”, Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
, “A Minimalist Visual Notation for Design Patterns and Antipatterns”, 5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
, “Modular Abstract Diagnosis”, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
, “On Polymorphic Recursion, Type Systems, and Abstract Interpretation”, Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
, “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.
, “A rule-based method to match Software Patterns against UML Models”, The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
, “Static Verification of UML Model Consistency”, MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.
, “TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems”, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13). 2013.
, “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 Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
, “Abstract Diagnosis for Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.
, “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.