A Declarative Debugger for Maude

Riesco, Adrián; Verdejo, Alberto; Martí-Oliet, Narciso; Caballero, Rafael

doi:10.1007/978-3-540-79980-1_9

Cited by 9 publications

(14 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An undo command, allowing the user to return to the previous state, is also provided. We refer the reader to [22,21] for further information.…”

Section: A Debugging Sessionmentioning

confidence: 99%

“…Since navigation is done by asking questions to the user, this stage has to handle the navigation strategy together with the input/output interaction with the user. The technical report [21] provides a full explanation of this implementation, including the user interaction.…”

Section: A Debugging Sessionmentioning

confidence: 99%

“…Detailed proofs of the results, additional examples, and much more information about the implementation can be found in the technical report [21], which, together with the Maude source files for the debugger, is available from the webpage http://maude.sip.ucm.es/debugging.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Declarative Debugging of Rewriting Logic Specifications

Riesco

Verdejo

Caballero

et al. 2009

Recent Trends in Algebraic Development Techniques

Self Cite

View full text Add to dashboard Cite

Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree representing this computation and guiding the user through it to find the wrong statement. This paper presents the fundamentals for the declarative debugging of rewriting logic specifications, realized in the Maude language, where a wrong computation can be a reduction, a type inference, or a rewrite. We define appropriate debugging trees obtained as the result of collapsing in proof trees all those nodes whose correctness does not need any justification. Since these trees are obtained from a suitable semantic calculus, the correctness and completeness of the debugging technique can be formally proved. We illustrate how to use the debugger by means of an example and succinctly describe its implementation in Maude itself thanks to its reflective and metalanguage features.

show abstract

“…An undo command, allowing the user to return to the previous state, is also provided. We refer the reader to [22,21] for further information.…”

Section: A Debugging Sessionmentioning

confidence: 99%

Section: A Debugging Sessionmentioning

confidence: 99%

See 1 more Smart Citation

Declarative Debugging of Rewriting Logic Specifications

Riesco

Verdejo

Caballero

et al. 2009

Recent Trends in Algebraic Development Techniques

Self Cite

View full text Add to dashboard Cite

show abstract

“…For further information about bugs of type 2 (missing results), which are more related with logic programming and non-deterministic systems, we refer the interested reader to specific works such as [89,11,87]), which will provide more detailed explanations and examples about how to treat them.…”

Section: Preliminary Definitions and Notationmentioning

confidence: 99%

Optimization Techniques for Algorithmic Debugging

Cabrera¹

View full text Add to dashboard Cite

To mum and dad, because they always went out of their way to protect and guide us. AgradecimientosCuando terminé la carrera tomé una decisión que cambiaría el rumbo de mi vida, decidí convertirme en doctor. Mucho tiempo ha pasado desde entonces, y no han sido pocas las piedras que me he encontrado por el camino: algunas noches sin dormir, laberintos de los que no podía salir, trabajos que no sabía cómo completar, y montañas y montañas de tareas que nunca se acababan. En definitiva, no sabía dónde me estaba metiendo. A pesar de todo ello, esta ha sido una gran etapa de mi vida que si volviera atrás volvería a emprender, donde he aprendido mucho y he madurado como persona. No puedo decir que lo haya conseguido solo, todo esto se lo debo en gran medida a mucha gente que ha ayudado a que ahora pueda decir con orgullo soy doctor.A las primeras personas a las que quiero agradecérselo es a aquellas que siempre han estado ahí, a mis hermanos Javier y Natalia. Con quienes siempre he podido contar, y quienes me han ayudado cuando he tenido algún problema. Quienes me han sabido dar los mejores consejos y han creído en que podía llegar a lo más alto. Habéis sido un pilar fundamental en mi vida y os agradezco mucho todo el apoyo incondicional que me habéis dado.Una especial mención a quienes me dieron la vida e hicieron que pudiera vivir en este mundo, a mis padres. Disteis lo mejor de vosotros para aguantarme y soportarme, pero también para enseñarme, protegerme y guiarme a lo largo de toda mi vida. Siempre habéis procurado lo mejor para nosotros tres, nos habéis dado buenos consejos, pusisteis vuestro cuerpo y alma en que no nos faltara de nada y en que nos fuera lo mejor posible. Por eso y mucho más, este libro va dedicado a vosotros.Gracias también a todas aquellas personas que no han tenido un impacto directo en esta etapa de mi vida, pero que aún así han estado ahí durante todo este tiempo. Me refiero a mi familia y amigos. Siempre me habéis apoyado, os habéis preocupado por cómo iban transcurriendo estos años y no habéis dudado en echarme una mano cuando ha sido necesario.Si he realizado este doctorado ha sido gracias a quien me ha aceptado en su grupo de investigación. Alguien que ha sabido escuchar mis inquietudes y necesidades. Quien ha sabido gestionar los recursos de los que disponíamos para que nunca nos faltase nada. Gracias Germán por hacer todo lo posible para que todos nos sintiéramos parte de esta pequeña familia.Quería hacer especial mención a una gran persona. Alguien que siempre hizo lo que estuviera en su mano para enseñarme y guiarme en el mundo de la investigación. Sin su ayuda, hoy en día no sería el mismo. Una persona que, por mucho que me duela reconocerlo, es una fuente de inspiración y sabiduría, a la vez que un gran jefe y amigo. Josep (iusep, iuseppe, iussepe, etc.), quería darte las gracias por todos estos años que me has dedicado. Me has enseñado a trabajar en equipo, a esforzarme siempre un poco más y a no rendirme. Durante estosúltimos años no solo me has formado como investigador, sino tam...

show abstract

“…In recent years, debugging and optimization techniques based on RWL have received growing attention [1,13,16,17], but to the best of our knowledge, no practical animation tool for RWL/Maude has been formally developed. To debug Maude programs, Maude has a basic tracing facility that allows the user to advance through the program execution letting him/her select the statements to be traced, except for the application of algebraic axioms that are not under user control and are never recorded as execution steps in the trace.…”

Section: Introductionmentioning

confidence: 99%

Parametric Exploration of Rewriting Logic Computations

Alpuente

Ballis

Frechina

et al.

EPiC Series in Computing

View full text Add to dashboard Cite

This paper presents a parameterized technique for the inspection of Rewriting Logic computations that allows the non-deterministic execution of a given rewrite theory to be followed up in different ways. Starting from a selected state in the computation tree, the exploration is driven by a user-defined, inspection criterion that specifies the exploration mode. By selecting different inspection criteria, one can automatically derive useful debugging facilities such as program steppers and more sophisticated dynamic trace slicers that facilitate the detection of control and data dependencies across the computation tree. Our methodology, which is implemented in the Anima graphical tool, allows users to capture the impact of a given criterion, validate input data, and detect improper program behaviors.

show abstract

A Declarative Debugger for Maude

Cited by 9 publications

References 7 publications

Declarative Debugging of Rewriting Logic Specifications

Declarative Debugging of Rewriting Logic Specifications

Optimization Techniques for Algorithmic Debugging

Parametric Exploration of Rewriting Logic Computations

Contact Info

Product

Resources

About