Universidad Complutense de Madrid
E-Prints Complutense

A Declarative Debugger for Maude Specifications: User Guide



Downloads per month over past year

Riesco Rodríguez, Adrián and Verdejo López, José Alberto and Martí Oliet, Narciso and Caballero, Rafael (2009) A Declarative Debugger for Maude Specifications: User Guide. [ Technical Report SIC; 7-09, ] (Submitted)

PDF (Guia de usuario del debugger declarativo para especificaciones en Maude)


We show in this guide how to use our declarative debugger for Maude specifications. Declarative debugging is a semi-automatic technique that starts from a computation considered incorrect by the user (error symptom) and locates a program fragment responsible for the error by asking questions to an external oracle, which is usually the user. In our case the debugging tree is obtained from a
proof tree in a suitable semantic calculus; more concretely, we abbreviate the proof trees obtained from this calculus in order to ease and shorten the debugging process while preserving the correctness and completeness of the technique.
We present the main features of our tool, what is assumed about the modules introduced by the user, the list of available commands, and the kinds of questions used during the debugging process. Then, we use several examples to illustrate how to use the debugger. We refer the interested reader to the webpage http://maude.sip.ucm.es/debugging, where these and other examples can be found together with more information about the theory underlying the debugger, its implementation and the Maude source files.

Item Type:Working Paper or Technical Report
Uncontrolled Keywords:Declarative debugger
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
Series Name:Technical Report SIC
ID Code:9622
Deposited On:19 Nov 2009 11:14
Last Modified:15 Sep 2015 08:10

Origin of downloads

Repository Staff Only: item control page