Sciweavers

Share
AMAST
2010
Springer

A Complete Declarative Debugger for Maude

7 years 10 months ago
A Complete Declarative Debugger for Maude
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete result is obtained) due to both wrong and missing statements and wrong search conditions. The debugger builds a tree representing the computation and guides the user through it to find the bug. We present the debugger's latest commands and features, illustrating its use with several examples.
Adrián Riesco, Alberto Verdejo, Narciso Mar
Added 12 May 2011
Updated 12 May 2011
Type Journal
Year 2010
Where AMAST
Authors Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
Comments (0)
books