A declarative debugger for Maude functional modules

DOI10.1016/J.ENTCS.2009.05.013zbMATH Open1347.68073OpenAlexW2169508890WikidataQ123905854 ScholiaQ123905854MaRDI QIDQ5179130FDOQ5179130

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

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

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)

Cites Work

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

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
• Enhancing the debugging of Maude specifications
• A complete declarative debugger for Maude
• 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

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)