Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

DOI10.1007/978-3-540-78969-7_22zbMath1137.68337OpenAlexW4242852845MaRDI QIDQ5458444

Mario Rodríguez Artalejo, Rafael del Vado Vírseda, Rafael Caballero

Publication date: 11 April 2008

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78969-7_22

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items

Declarative Debugging of Rewriting Logic Specifications ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Declarative debugging of rewriting logic specifications ⋮ Abstract Diagnosis of First Order Functional Logic Programs

Uses Software

• TOY