A Declarative Debugger for Maude Functional Modules

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

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

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

Maude; declarative debugging; membership equational logic; functional modules; metalevel implementation

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems

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

Related Items

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

Uses Software

• Maude

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item