Main menu
You are here
Publications
, “A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting”. 2013.
, “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.
, “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”, 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.
, “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 for Timed Concurrent Constraint programs”, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.
, “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.
, “Backward Trace Slicing for Rewriting Logic Theories”, 23rd International Conference on Automated Deduction, CADE 23. Springer, 2011.
, “A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp”. Dipartimento di Matematica e Informatica, U. di Udine, 2011.
, “Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)”, Journal of Symbolic Computation, vol. 46, pp. 93–94, 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.
, “A Compact Fixpoint Semantics for Term Rewriting Systems”, Theoretical Computer Science, 2010.
, “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.
, “Completeness of Unfolding for Rewriting Logic Theories”, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. IEEE Computer Society Press, pp. 116–123, 2010.
, “Defining Datalog in Rewriting Logic”, Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.
, “A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
, “An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”, Theoretical Computer Science, vol. 411, no. 47, 2010.
, “Model-checking Web Applications with Web-TLR”, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.
, “Transformation and Debugging of Functional Logic Programs”, in 25 Years GULP 2010, Springer, 2010, pp. 271–299.
, “DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”, Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.
, “Defining Datalog in Rewriting Logic”. DSIC, Universidad Politécnica de Valencia, 2009.
, “Implementing Datalog in Maude”, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.
, “An Ontology-based System for Semantic Filtering of XML Data”, Electronic Notes in Theoretical Computer Science, vol. 235, pp. 19–33, 2009.
, “Quantitative Pathway Logic for Computational Biology”, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009. Springer, pp. 68–82, 2009.
, “Specification and Verification of Web Applications in Rewriting Logic”, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.
, “The tccp Interpreter”, Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.
, “A Tool for Generating a Symbolic Representation of tccp Executions”, Electronic Notes in Theoretical Computer Science, vol. 246, pp. 131–145, 2009.
, “Using Datalog and Boolean Equation Systems for Program Analysis”, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.