论文信息 - A Complete Declarative Debugger for Maude

A Complete Declarative Debugger for Maude

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 Martí-Oliet

[1] Adrián Riesco,et al. A Declarative Debugger for Maude Functional Modules , 2009, WRLA.

[2] Adrián Riesco,et al. Declarative debugging of rewriting logic specifications , 2012, J. Log. Algebraic Methods Program..

[3] Narciso Martí-Oliet,et al. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.

[4] José Alberto Verdejo López,et al. A Declarative Debugger for Maude Specifications: User Guide , 2009 .

[5] Adrián Riesco,et al. A Declarative Debugger for Maude , 2008, AMAST.

[6] Josep Silva,et al. A Comparative Study of Algorithmic Debugging Strategies , 2006, LOPSTR.

[7] Adrián Riesco,et al. Enhancing the Debugging of Maude Specifications , 2010, WRLA.

[8] Alberto Verdejo,et al. DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPEC IFICATIONS , 2010 .

[9] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .