A declarative debugger for Maude functional modules

DOI10.1016/J.ENTCS.2009.05.013MaRDI QIDQ5179130zbMATH OpenOpenAlexWikidataFDO

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

Publication date 19 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.05.013

zbMATH Keywords

Maudedeclarative debuggingmembership equational logicfunctional modulesmetalevel implementation

Mathematics Subject Classification ID

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 Membership Equational Logic Specifications
• A complete declarative debugger for Maude
• Declarative debugging of rewriting logic specifications
• Declarative Debugging of Rewriting Logic Specifications
• Enhancing the debugging of Maude specifications

Cites work

• 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?)
• A declarative debugger for Maude functional modules
• Abstract diagnosis
• Abstract diagnosis of functional programs
• 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 error diagnosis
• Functional and Logic Programming
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
• Specification and proof in membership equational logic

Cited in

(11)

• Declarative Debugging of Rewriting Logic Specifications
• Using big-step and small-step semantics in Maude to perform declarative debugging
• Debugging Maude programs via runtime assertion checking and trace slicing
• An integrated framework for the diagnosis and correction of rule-based programs
• Simplifying questions in Maude declarative debugger by transforming proof trees
• A complete declarative debugger for Maude
• Enhancing the debugging of Maude specifications
• A declarative debugger for Maude functional modules
• Declarative Debugging of Membership Equational Logic Specifications
• Declarative debugging of missing answers for Maude
• Declarative debugging of rewriting logic specifications

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A declarative debugger for Maude functional modules

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