Semantic synthesis of programs by matching compositions (Q1111007): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 03:15, 5 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic synthesis of programs by matching compositions |
scientific article |
Statements
Semantic synthesis of programs by matching compositions (English)
0 references
1987
0 references
We identify classes of functions induced by programs with the property of requesting the presence and the values of the input data. Classes of matching compositions are defined, formalizing the main tools of program construction and simplifying the semantic synthesis of programs in the corresponding classes. The relationship between matching compositions and traditional compositions is established.
0 references
program algebras
0 references
matching compositions
0 references
program construction
0 references
semantic synthesis of programs
0 references
