TY  - RPRT
AU  - Riesco Rodríguez, Adrián
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
AU  - Caballero Roldán, Rafael
PY  - 2009
UR  - https://hdl.handle.net/20.500.14352/56710
AB  - We show in this guide how to use our declarative debugger for Maude specifications. Declarative debugging is a semi-automatic technique that starts from a computation considered incorrect by the user (error symptom) and locates a program fragment...
LA  - eng
KW  - Declarative debugger
TI  - A Declarative Debugger for Maude Specifications: User Guide
TY  - technical report
VL  - 7-09
ER  -