A means for the structural synthesis of programs (Q1091120)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A means for the structural synthesis of programs |
scientific article; zbMATH DE number 4009800
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A means for the structural synthesis of programs |
scientific article; zbMATH DE number 4009800 |
Statements
A means for the structural synthesis of programs (English)
0 references
1987
0 references
A programs specification language is described that includes equations, \(\lambda\)-definitions for functions and atom predicate formulas. An algorithm is proposed for synthesis according to specifications that uses production rules that state the features of the subject area. Examples of the synthesis procedure are presented.
0 references
programs specification language
0 references
atom predicate formulas
0 references
