A Declarative Debugger for Maude Functional Modules

DOI10.1016/j.entcs.2009.05.013zbMath1347.68073OpenAlexW2169508890WikidataQ123905854 ScholiaQ123905854MaRDI QIDQ5179130

Alberto Verdejo, Adrián Riesco, Narciso Martí-Oliet, 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

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Declarative Debugging of Rewriting Logic Specifications, An integrated framework for the diagnosis and correction of rule-based programs, Declarative debugging of rewriting logic specifications, Declarative Debugging of Membership Equational Logic Specifications, A Declarative Debugger for Maude Functional Modules, A Complete Declarative Debugger for Maude

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative error diagnosis
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• 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
• Specification and proof in membership equational logic
• Abstract Diagnosis of Functional Programs
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Abstract diagnosis
• A Declarative Debugger for Maude Functional Modules
• Functional and Logic Programming