TY  - RPRT
AU  - Riesco Rodríguez, Adrián
AU  - Verdejo López, José Alberto
AU  - Martí Oliet, Narciso
PY  - 2009
UR  - https://hdl.handle.net/20.500.14352/56712
AB  - Rewriting logic is a logic of change, where rewrites correspond to transitions between states. One of the main characteristics of these transitions is that they can be nondeterministic, that is, given an initial state, there is a set of possible...
LA  - eng
KW  - Declarative debugging
KW  - Missing answers
KW  - Rewriting logic
KW  - Maude
KW  - Metalevel implementation
TI  - Declarative Debugging of Missing Answers in Rewriting Logic
TY  - technical report
VL  - 6-09
ER  -