Declarative debugging of rewriting logic specifications

DOI10.1016/j.jlap.2011.06.004zbMath1279.68220OpenAlexW2074715013WikidataQ123905827 ScholiaQ123905827MaRDI QIDQ1931907

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

Publication date: 16 January 2013

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.06.004

zbMATH Keywords

rewriting logicMaudedeclarative debuggingmissing answerswrong answers

Mathematics Subject Classification ID

Logic in computer science (03B70) 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 (4)

QMaude: quantitative specification and verification in rewriting logic ⋮ Exploring conditional rewriting logic computations ⋮ A Maude environment for CafeOBJ ⋮ Debugging Maude programs via runtime assertion checking and trace slicing

Uses Software

• Maude
• DDebugger

Cites Work

• 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
• Equational rules for rewriting logic
• Specification and proof in membership equational logic
• Semantic foundations for generalized rewrite theories
• Structure and Properties of Traces for Functional Programs
• A Complete Declarative Debugger for Maude
• Abstract Diagnosis of Functional Programs
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Declarative Debugging of Rewriting Logic Specifications
• Declarative Debugging of Membership Equational Logic Specifications
• Enhancing the Debugging of Maude Specifications
• A Declarative Debugger for Maude Functional Modules
• Functional and Logic Programming
• Declarative Debugging of Missing Answers for Maude.
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

This page was built for publication: Declarative debugging of rewriting logic specifications