A Complete Declarative Debugger for Maude

DOI10.1007/978-3-642-17796-5_14zbMath1308.68069OpenAlexW1485267194WikidataQ123905835 ScholiaQ123905835MaRDI QIDQ3067479

Alberto Verdejo, Adrián Riesco, 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

Maudedeclarative debuggingmissing answerswrong answers

Mathematics Subject Classification ID

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

Related Items (1)

Declarative debugging of rewriting logic specifications

Uses Software

• Maude
• DDebugger

Cites Work

• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Declarative Debugging of Rewriting Logic Specifications
• Enhancing the Debugging of Maude Specifications
• A Declarative Debugger for Maude Functional Modules
• Declarative Debugging of Missing Answers for Maude.

This page was built for publication: A Complete Declarative Debugger for Maude