Description semantics in utopist language and automatic program synthesis

zbMath0617.68016MaRDI QIDQ1822227

Grigori Mints, É. Kh. Tyugu

Publication date: 1985

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

zbMATH Keywords

program synthesisaxiomatic semanticspropositional calculus languageUTOPIST language descriptions and transformations

Mathematics Subject Classification ID

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

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