Description semantics in utopist language and automatic program synthesis

MaRDI QIDQ1822227zbMATH OpenFDO

Authors G. E. Mints, É. Kh. Tyugu

Publication date 1985

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

axiomatic semanticsprogram synthesispropositional calculus languageUTOPIST language descriptions and transformations

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Review text

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.

Recommendations

• A means for the structural synthesis of programs
• scientific article; zbMATH DE number 3892570
• Planning principles for problem solving in automatic program synthesis systems
• scientific article; zbMATH DE number 2084339
• Interpretable program specification language

Cited in

(1)

• Uhura: an authoring tool for specifying answer-set programs using controlled natural language

This page was built for publication: Description semantics in utopist language and automatic program synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1822227)