A Logical Framework for Debugging in Declarative Constraint Programming

DOI10.1016/j.entcs.2009.11.009zbMath1291.68151OpenAlexW2020796246MaRDI QIDQ5170295

Rafael 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

constraintsalgorithmic debugginglogical frameworksdeclarative programming

Mathematics Subject Classification ID

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

Uses Software

• TOY

Cites Work

• Declarative error diagnosis
• An integrated framework for the diagnosis and correction of rule-based programs
• A new generic scheme for functional logic programming with constraints
• A Declarative Debugging System for Lazy Functional Logic Programs
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Abstract diagnosis
• Functional and Logic Programming
• Frontiers of Combining Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Logical Framework for Debugging in Declarative Constraint Programming