Schema-Guided Synthesis of Imperative Programs by Constraint Solving (Q5458801)
From MaRDI portal
scientific article; zbMATH DE number 5267187
Language | Label | Description | Also known as |
---|---|---|---|
English | Schema-Guided Synthesis of Imperative Programs by Constraint Solving |
scientific article; zbMATH DE number 5267187 |
Statements
Schema-Guided Synthesis of Imperative Programs by Constraint Solving (English)
0 references
24 April 2008
0 references