Enhancing the debugging of Maude specifications

DOI10.1007/978-3-642-16310-4_15MaRDI QIDQ4933288zbMATH OpenOpenAlexWikidataFDO

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

Publication date 12 October 2010

Published in Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16310-4_15

zbMATH Keywords

declarative debuggingMaudemembership equational logicmissing answersrewriting logicwrong answers

Mathematics Subject Classification ID

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

Recommendations

• Declarative debugging of missing answers for Maude
• Declarative debugging of rewriting logic specifications
• A complete declarative debugger for Maude
• Declarative Debugging of Rewriting Logic Specifications
• A declarative debugger for Maude functional modules

Cited in

(10)

• Declarative debugging of rewriting logic specifications
• Specifying and Analyzing the Kademlia Protocol in Maude
• Combining runtime checking and slicing to improve Maude error diagnosis
• A complete declarative debugger for Maude
• Declarative Debugging of Rewriting Logic Specifications
• Simplifying questions in Maude declarative debugger by transforming proof trees
• Using big-step and small-step semantics in Maude to perform declarative debugging
• A declarative debugger for Maude functional modules
• Declarative debugging of missing answers for Maude
• Debugging Maude programs via runtime assertion checking and trace slicing

Describes a project that uses

Uses Software

• DDebugger
• Maude

This page was built for publication: Enhancing the debugging of Maude specifications

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