Declarative debugging in constraint logic programming

DOI10.1007/BFB0027780MaRDI QIDQ6560353zbMATH OpenFDO

Authors Alexandre Tessier

Publication date 21 June 2024

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

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A logical framework for debugging in declarative constraint programming
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• Declarative error diagnosis
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• Declarative debugging of functional logic programs

Cites work

• scientific article; zbMATH DE number 870438 (Why is no real title available?)
• Declarative error diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Generalized semantics and abstract interpretation for constraint logic programs

This page was built for publication: Declarative debugging in constraint logic programming

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