Biblioteca de la Universidad Complutense de Madrid

Declarative Debugging of Maude Functional Modules

Impacto



Caballero, Rafael y Martí Oliet, Narciso y Riesco Rodríguez, Adrián y Verdejo López, José Alberto (2007) Declarative Debugging of Maude Functional Modules. [ Technical Report SIC; 4-07, ] (Presentado)

[img]
Vista previa
PDF
293kB

URL Oficial: http://maude.sip.ucm.es/debugging/



Resumen

We introduce a declarative debugger for Maude functional modules, which correspond to executable specifications in membership equational logic. First we describe the construction of appropriate debugging trees for oriented equational and membership inferences. These trees are obtained as the result of collapsing in proof trees all
those nodes whose correction does not need any justification.

Since Maude supports the reflective features in its underlying logic, it includes a predefined META-LEVEL module providing access to metalevel concepts such as specifications or computations as usual data. This allows us to generate and navigate the debugging tree of a Maude computation using operations in Maude itself. Even the
user interface of the declarative debugger for Maude can be specified in Maude itself. We describe in detail this metalevel implementation of our tool.

Finally, we include several extended examples to illustrate the use of the declarative debugger and its main features, such as two different strategies to traverse the
debugging tree, use of a correct module to reduce the number of questions asked to the user, selection of trusted vs. suspicious statements by means of labels, and trusting of statements “on the fly.”


Tipo de documento:Documento de trabajo o Informe técnico
Palabras clave:Declarative debugging, Membership equational logic, Maude, Functional modules, Metalevel implementation
Materias:Ciencias > Informática > Lenguajes de programación
Título de serie o colección:Technical Report SIC
Volumen:4-07
Número:
Código ID:9643
Depositado:24 Nov 2009 08:25
Última Modificación:15 Sep 2015 08:08

Sólo personal del repositorio: página de control del artículo