Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming

DOI10.1007/11799573_31MaRDI QIDQ5449618zbMATH OpenOpenAlexFDO

Authors M. Rodríguez Artalejo, R. del Vado Vírseda, Rafael Caballero

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_31

Mathematics Subject Classification ID

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

Recommendations

• A logical framework for debugging in declarative constraint programming
• A declarative debugging system for lazy functional logic programs
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• Declarative debugging of functional logic programs
• scientific article; zbMATH DE number 1692897

Cited in

(9)

• Cost-sensitive diagnosis of declarative programs
• Abstract Diagnosis of First Order Functional Logic Programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• A logical framework for debugging in declarative constraint programming
• Functional and Logic Programming
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• Declarative error diagnosis
• Declarative debugging in constraint logic programming
• A new generic scheme for functional logic programming with constraints

This page was built for publication: Declarative Diagnosis of Wrong 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 Q5449618)