Declarative Debugging of Rewriting Logic Specifications

DOI10.1007/978-3-642-03429-9_20MaRDI QIDQ3184739zbMATH OpenOpenAlexWikidataFDO

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

Publication date 22 October 2009

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03429-9_20

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Declarative debugging of rewriting logic specifications
• Declarative Debugging of Membership Equational Logic Specifications
• Enhancing the debugging of Maude specifications
• Declarative debugging of missing answers for Maude
• A complete declarative debugger 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.
• Conditional rewriting logic as a unified model of concurrency
• Declarative Debugging of Membership Equational Logic Specifications
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• Declarative error diagnosis
• Equational rules for rewriting logic
• Functional and Logic Programming
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• Semantic foundations for generalized rewrite theories
• Specification and proof in membership equational logic
• Structure and properties of traces for functional programs

Cited in

(20)

• Logical debugging
• Algorithmic debugging generalized
• Twenty years of rewriting logic
• Declarative debugging of rewriting logic specifications
• A debugging scheme for functional logic programs
• Enhancing declarative debugging with loop expansion and tree compression
• Combining runtime checking and slicing to improve Maude error diagnosis
• A complete declarative debugger for Maude
• scientific article; zbMATH DE number 4193098 (Why is no real title available?)
• Declarative Debugging of Membership Equational Logic Specifications
• Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
• scientific article; zbMATH DE number 5706177 (Why is no real title available?)
• Exploring conditional rewriting logic computations
• 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
• Declarative debugging of missing answers for Maude
• Inspecting rewriting logic computations (in a parametric and stepwise way)
• Declarative debugging meets the world

Describes a project that uses

Uses Software

• Maude
• DDebugger

This page was built for publication: Declarative Debugging of Rewriting Logic Specifications

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