Declarative debugging of missing answers for Maude

DOI10.4230/LIPICS.RTA.2010.277MaRDI QIDQ5389150zbMATH OpenOpenAlexFDO

Authors Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet

Publication date 25 April 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_9736.html

zbMATH Keywords

rewritingMaudedeclarative debuggingmissing answers

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Logic in computer science (03B70)

Recommendations

• Declarative debugging of rewriting logic specifications
• Enhancing the debugging of Maude specifications
• Declarative Debugging of Membership Equational Logic Specifications
• Declarative Debugging of Rewriting Logic Specifications
• A declarative debugger for Maude functional modules

Cites work

• Maude

Cited in

(9)

• Declarative Debugging of Rewriting Logic Specifications
• An integrated framework for the diagnosis and correction of rule-based programs
• A complete declarative debugger for Maude
• Enhancing the debugging of Maude specifications
• Exploring conditional rewriting logic computations
• Backward trace slicing for rewriting logic theories
• Declarative Debugging of Membership Equational Logic Specifications
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Declarative debugging of rewriting logic specifications

Describes a project that uses

Uses Software

• DDebugger
• Maude

This page was built for publication: Declarative debugging of missing answers for Maude

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5389150)