Inductive synthesis of dot expressions (Q4560354)
From MaRDI portal
scientific article; zbMATH DE number 6992065
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inductive synthesis of dot expressions |
scientific article; zbMATH DE number 6992065 |
Statements
Inductive synthesis of dot expressions (English)
0 references
11 December 2018
0 references
free variable
0 references
inductive inference
0 references
sample computation
0 references
synthesis algorithm
0 references
maximal attraction
0 references
0 references
