A Declarative Debugger for Maude Functional Modules
From MaRDI portal
Publication:5179130
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
Maude; declarative debugging; membership equational logic; functional modules; metalevel implementation
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
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