Main menu
You are here
Publications
, “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
, “Assertion based Inductive Verification Methods for Logic Programs”, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.
, “The AND-compositionality of CLP Computed Answer Constraints”, Proceedings APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming. pp. 355–366, 1996.
, “An Algebraic Theory of Observables”, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.
, “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.
, “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.
, “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.
, “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 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 Debugging of Logic Programs”, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.