Declarative Debugging of Membership Equational Logic Specifications

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

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

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

Maude; declarative debugging; membership equational logic; functional modules

Mathematics Subject Classification ID

68N15: Theory of programming languages

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Declarative Debugging of Rewriting Logic Specifications

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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