A Declarative Debugger for Maude

9 years 11 months ago
A Declarative Debugger for Maude
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in the Maude language, is presented. Starting from an incorrect computation (a reduction, a type inference, or a rewrite), the debugger builds a tree representing this computation and guides the user through it to find a wrong statement. We present the debugger's main features, such as support for functional and system modules, two possible constructions of the debugging tree, two different strategies to traverse it, use of a correct module to reduce the number of questions asked to the user, selection of trusted vs. suspicious statements, and trusting of statements "on the fly".
Adrián Riesco, Alberto Verdejo, Narciso Mar
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Authors Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet, Rafael Caballero
Comments (0)