Declarative Debugging of Membership Equational Logic Specifications

DOI10.1007/978-3-540-68679-8_12zbMath1143.68363OpenAlexW1761688502WikidataQ123905873 ScholiaQ123905873MaRDI QIDQ3507364

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

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_12

zbMATH Keywords

Maudedeclarative debuggingmembership equational logicfunctional modules

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Declarative Debugging of Rewriting Logic Specifications ⋮ Declarative debugging of rewriting logic specifications

Uses Software

• Maude

Cites Work

• Declarative error diagnosis
• 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
• Reflection in conditional rewriting logic
• Specification and proof in membership equational logic
• Abstract Diagnosis of Functional Programs
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Abstract diagnosis
• A Declarative Debugger for Maude Functional Modules
• Functional and Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Declarative Debugging of Membership Equational Logic Specifications