Declarative debugging of rewriting logic specifications
type: Item
instance of: scholarly article
title: Declarative debugging of rewriting logic specifications
zbMATH Open document ID: 1279.68220
author: Adrián Riesco
author: Alberto Verdejo
author: Narciso Martí-Oliet
author: Rafael Caballero
published in: The Journal of Logic and Algebraic Programming
publication date: 2013-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6126075
zbMATH Keywords: declarative debugging
zbMATH Keywords: rewriting logic
zbMATH Keywords: Maude
zbMATH Keywords: wrong answers
zbMATH Keywords: missing answers
describes a project that uses: DDebugger
describes a project that uses: Maude
MaRDI profile type: Publication
full work available at URL: j.jlap.2011.06.004
OpenAlex ID: W2074715013
cites work: Abstract Diagnosis of Functional Programs
cites work: Specification and proof in membership equational logic
cites work: Semantic foundations for generalized rewrite theories
cites work: Declarative Debugging of Membership Equational Logic Specifications
cites work: A Declarative Debugger for Maude Functional Modules
cites work: Functional and Logic Programming
cites work: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
cites work: Structure and properties of traces for functional programs
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
cites work: Q4385532
cites work: Declarative error diagnosis
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3839051
cites work: Q4259962
cites work: How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
cites work: Declarative Debugging of Rewriting Logic Specifications
cites work: Declarative Debugging of Missing Answers for Maude.
cites work: Enhancing the Debugging of Maude Specifications
cites work: A Complete Declarative Debugger for Maude
cites work: Equational rules for rewriting logic
Wikidata QID: Q123905827
DOI: 10.1016/J.JLAP.2011.06.004
description: scientific article; zbMATH DE number 6126075