Proving correctness of Constraint Logic Programs with dynamic scheduling (Q5030189)
From MaRDI portal
scientific article; zbMATH DE number 7474225
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving correctness of Constraint Logic Programs with dynamic scheduling |
scientific article; zbMATH DE number 7474225 |
Statements
Proving correctness of Constraint Logic Programs with dynamic scheduling (English)
0 references
16 February 2022
0 references
logic programming
0 references
delay condition
0 references
constraint system
0 references
predicate symbol
0 references
dynamic schedule
0 references