Enhancing the Debugging of Maude Specifications

DOI10.1007/978-3-642-16310-4_15zbMath1306.68085OpenAlexW1526764352WikidataQ123905848 ScholiaQ123905848MaRDI QIDQ4933288

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

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_15

zbMATH Keywords

rewriting logicMaudedeclarative debuggingmembership equational logicmissing 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 (2)

Declarative debugging of rewriting logic specifications ⋮ A Complete Declarative Debugger for Maude

Uses Software

• Maude
• DDebugger

This page was built for publication: Enhancing the Debugging of Maude Specifications