TY  - RPRT
AU  - Riesco Rodríguez, Adrián
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
AU  - Caballero, Rafael
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/48948
AB  - Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree representing this computation and guiding the user through it to find the error....
LA  - eng
A3  - Departamento de Sistemas Informáticos y Computación, Universidad Complutense de Madrid
KW  - Declarative debugging
KW  - Rewriting logic
KW  - Maude
KW  - Wrong Answers
KW  - Missing answers
TI  - Declarative debugging of rewriting logic specifications
TY  - technical report
VL  - 2
ER  -