A Logical Framework for Debugging in Declarative Constraint Programming (Q5170295)
From MaRDI portal
scientific article; zbMATH DE number 6319828
Language | Label | Description | Also known as |
---|---|---|---|
English | A Logical Framework for Debugging in Declarative Constraint Programming |
scientific article; zbMATH DE number 6319828 |
Statements
A Logical Framework for Debugging in Declarative Constraint Programming (English)
0 references
23 July 2014
0 references
logical frameworks
0 references
declarative programming
0 references
algorithmic debugging
0 references
constraints
0 references
0 references