A complete declarative debugger for Maude

In M. Johnson and D. Pavlovic, editors, Algebraic Methodology and Software Technology, 13th International Conference, AMAST 2010, LNCS 6486, pages 216-225. Springer, 2011. © Springer-Verlag

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.

[pdf]

@inproceedings{amast/RiescoVM10,
	Author = {Adri{\'a}n Riesco and Alberto Verdejo and Narciso Mart\'{\i}-Oliet},
	Pages = {216-225},
	ee = {http://dx.doi.org/10.1007/978-3-642-17796-5_14},
	Title = {A complete declarative debugger for {Maude}},
	Booktitle = {Algebraic Methodology and Software Technology, 13th International Conference, 
	             AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers},
	Editor = {Michael Johnson and Dusko Pavlovic},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Volume = {6486},
	Year = {2011}}