Semantic synthesis of programs by matching compositions
From MaRDI portal
Publication:1111007
zbMATH Open0657.68015MaRDI QIDQ1111007
Publication date: 1987
Published in: Programming and Computer Software (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (2)
Program composition via unification ⋮ A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
This page was built for publication: Semantic synthesis of programs by matching compositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1111007)
