Semantic synthesis of programs by matching compositions

zbMATH Open0657.68015MaRDI QIDQ1111007FDOQ1111007

Authors: N. S. Nikitchenko 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 4078789
• scientific article; zbMATH DE number 4124987
• scientific article; zbMATH DE number 4049027
• scientific article; zbMATH DE number 3934387
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions

zbMATH Keywords

program constructionmatching compositionsprogram algebrassemantic synthesis of programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
• Relational synthesis for pattern matching
• Program composition via unification

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)