TY  - RPRT
AU  - Caballero, Rafael
AU  - Martí Oliet, Narciso
AU  - Riesco Rodríguez, Adrián
AU  - Verdejo López, José Alberto
PY  - 2007
UR  - https://hdl.handle.net/20.500.14352/56719
AB  - We introduce a declarative debugger for Maude functional modules, which correspond to executable specifications in membership equational logic. First we describe the construction of appropriate debugging trees for oriented equational and membership...
LA  - eng
KW  - Declarative debugging
KW  - Membership equational logic
KW  - Maude
KW  - Functional modules
KW  - Metalevel implementation
TI  - Declarative Debugging of Maude Functional Modules
TY  - technical report
VL  - 4-07
ER  -