Solving Horn Clauses on Inductive Data Types Without Induction (Q4559806)
From MaRDI portal
scientific article; zbMATH DE number 6988655
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving Horn Clauses on Inductive Data Types Without Induction |
scientific article; zbMATH DE number 6988655 |
Statements
Solving Horn Clauses on Inductive Data Types Without Induction (English)
0 references
4 December 2018
0 references
program verification
0 references
constrained Horn clauses
0 references
constraint logic programming
0 references
inductively defined data types
0 references
program transformation
0 references
0 references
0 references
