Program Verification using Constraint Handling Rules and Array Constraint Generalizations* (Q4589602)
From MaRDI portal
scientific article; zbMATH DE number 6805739
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Program Verification using Constraint Handling Rules and Array Constraint Generalizations* |
scientific article; zbMATH DE number 6805739 |
Statements
Program Verification using Constraint Handling Rules and Array Constraint Generalizations* (English)
0 references
10 November 2017
0 references
constraint handling rules
0 references
constraint logic programming
0 references
program transformation
0 references
program verification
0 references
