Publications - Debugging


2010

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra.
    A Compact Fixpoint Semantics for Term Rewriting Systems
    Theoretical Computer Science, Volume 411, Issue 37, 7 August 2010, Pages 3348-3371.
    © Elsevier
    Available: DOI link Preliminary version
  • 2003

  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Correction of OBJ-like Programs
    In L. Palopoli, editor, Proc. of the APPIA-GULP-PRODE 2003 Joint Conference on Declarative Programming (AGP'03).
    2003.
  • María Alpuente, Demis Ballis, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Automated Correction of Functional Programs
    In G. Vidal, editor, Proceedings of the 12th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'03).
    Electronic Notes in Theoretical Computer Science, volume 86, issue 3. 2003.
    © Elsevier
    Available: Abstract PDF
  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    Abstract Diagnosis of Functional Programs
    In M. Leuschel, editor, Proc. of Logic-Based Program Synthesis and Transformation (LOPSTR'02),
    LNCS 2664, pages 1-16, 2003.
    © Springer-Verlag
    Available: Abstract Postscript PDF
  • 2002

  • María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas.
    A Declarative Debugging Scheme for Functional Programs
    Proc. of the 12th Int'l Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 2002), Madrid (Spain).
    Superseded by this LNCS publication

  • Last modified: Fri Jul 23 16:06:19 CDT 2010