A logical framework for debugging in declarative constraint programming

DOI10.1016/J.ENTCS.2009.11.009MaRDI QIDQ5170295zbMATH OpenOpenAlexFDO

Authors R. del Vado Vírseda

Publication date 23 July 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.11.009

zbMATH Keywords

algorithmic debuggingconstraintsdeclarative programminglogical frameworks

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Declarative debugging of functional logic programs
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• A debugging scheme for functional logic programs
• scientific article; zbMATH DE number 1692897

Cites work

• A declarative debugging system for lazy functional logic programs
• A new generic scheme for functional logic programming with constraints
• Abstract diagnosis
• An integrated framework for the diagnosis and correction of rule-based programs
• Declarative error diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Frontiers of Combining Systems
• Functional and Logic Programming
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• scientific article; zbMATH DE number 1692897 (Why is no real title available?)
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• scientific article; zbMATH DE number 1975609 (Why is no real title available?)

Cited in

(11)

• Logical debugging
• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• scientific article; zbMATH DE number 1692897 (Why is no real title available?)
• A debugging scheme for functional logic programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Using parametric set constraints for locating errors in CLP programs
• scientific article; zbMATH DE number 1406254 (Why is no real title available?)
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• A Theoretical Framework for the Declarative Debugging of Datalog Programs
• Declarative debugging in constraint logic programming

Describes a project that uses

Uses Software

• TOY

This page was built for publication: A logical framework for debugging in declarative constraint programming

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