Declarative Debugging of Missing Answers for Maude.

DOI10.4230/LIPIcs.RTA.2010.277zbMath1236.68146OpenAlexW1572801100MaRDI QIDQ5389150

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

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_9736.html

zbMATH Keywords

rewritingMaudedeclarative debuggingmissing answers

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

An integrated framework for the diagnosis and correction of rule-based programs ⋮ Declarative debugging of rewriting logic specifications ⋮ Exploring conditional rewriting logic computations ⋮ Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) ⋮ Backward Trace Slicing for Rewriting Logic Theories ⋮ A Complete Declarative Debugger for Maude

Uses Software

• Maude
• DDebugger

Cites Work

• Maude

This page was built for publication: Declarative Debugging of Missing Answers for Maude.