Description semantics in utopist language and automatic program synthesis (Q1822227)
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: Description semantics in utopist language and automatic program synthesis |
scientific article; zbMATH DE number 4001453
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Description semantics in utopist language and automatic program synthesis |
scientific article; zbMATH DE number 4001453 |
Statements
Description semantics in utopist language and automatic program synthesis (English)
0 references
1985
0 references
The paper reviews the UTOPIST language descriptions and transformations that assign to each description a set of axioms in the propositional calculus language. This, together with the rules of calculus by means of which proofs of solvability can be constructed and programs derived, constitutes an axiomatic semantics.
0 references
program synthesis
0 references
UTOPIST language descriptions and transformations
0 references
propositional calculus language
0 references
axiomatic semantics
0 references
