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