A complete declarative debugger for Maude

DOI10.1007/978-3-642-17796-5_14MaRDI QIDQ3067479zbMATH OpenOpenAlexWikidataFDO

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

Publication date 21 January 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17796-5_14

zbMATH Keywords

declarative debuggingMaudemissing answerswrong answers

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

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

Cites work

• A declarative debugger for Maude functional modules
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Declarative debugging of missing answers for Maude
• Declarative Debugging of Rewriting Logic Specifications
• Enhancing the debugging of Maude specifications
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)

Cited in

(9)

• Declarative debugging of rewriting logic specifications
• Declarative Debugging of Rewriting Logic Specifications
• Declarative Debugging of Membership Equational Logic Specifications
• Simplifying questions in Maude declarative debugger by transforming proof trees
• Enhancing the debugging of Maude specifications
• Using big-step and small-step semantics in Maude to perform declarative debugging
• A declarative debugger for Maude functional modules
• Debugging Maude programs via runtime assertion checking and trace slicing
• Completeness of an improved declarative debugger

Describes a project that uses

Uses Software

• Maude
• DDebugger

This page was built for publication: A complete declarative debugger for Maude

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