Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

DOI10.1007/978-3-540-78969-7_22MaRDI QIDQ5458444zbMATH OpenOpenAlexFDO

Authors M. Rodríguez Artalejo, R. 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

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

Recommendations

• A logical framework for debugging in declarative constraint programming
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• A debugging scheme for functional logic programs
• Abstract Diagnosis of First Order Functional Logic Programs
• Declarative debugging of functional logic programs

Cited in

(9)

• Declarative debugging of rewriting logic specifications
• Abstract Diagnosis of First Order Functional Logic Programs
• Declarative Debugging of Rewriting Logic Specifications
• Abstract diagnosis
• Completeness of a top-down declarative error diagnoser
• A logical framework for debugging in declarative constraint programming
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• An integrated framework for the diagnosis and correction of rule-based programs
• Declarative debugging in constraint logic programming

Describes a project that uses

Uses Software

• TOY

This page was built for publication: Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458444)