TY  - RPRT
AU  - Riesco Rodríguez, Adrián
AU  - Verdejo López, José Alberto
AU  - Caballero, Rafael
AU  - Martí Oliet, Narciso
PY  - 2008
UR  - https://hdl.handle.net/20.500.14352/56718
AB  - We introduce a declarative debugger for Maude modules: functional modules correspond to executable specifications in membership equational logic, while system modules correspond to rewrite theories. First we describe the construction of appropriate...
LA  - spa
KW  - Declarative debugging
KW  - Rewriting logic
KW  - Maude
KW  - Metalevel implementation
TI  - Declarative Debugging of Maude Modules
TY  - technical report
VL  - 6/08
ER  -