A means for the structural synthesis of programs

MaRDI QIDQ1091120zbMATH OpenFDO

Authors A. L. Sakharov

Publication date 1987

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

zbMATH Keywords

atom predicate formulasprograms specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4084990
• scientific article; zbMATH DE number 3934387
• scientific article; zbMATH DE number 4043304
• Inductive syntactic synthesis of programs with FOR loops and interpreted functions
• Formalized program specifications and transformation synthesis

Cited in

(29)

• Program generation in the equivalent transformation computation model using the squeeze method
• Preconditions for structural synthesis of programs
• scientific article; zbMATH DE number 1973864 (Why is no real title available?)
• Interpretable program specification language
• scientific article; zbMATH DE number 1475692 (Why is no real title available?)
• scientific article; zbMATH DE number 4043304 (Why is no real title available?)
• scientific article; zbMATH DE number 3960972 (Why is no real title available?)
• scientific article; zbMATH DE number 3965413 (Why is no real title available?)
• Synthetic programming
• A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences
• scientific article; zbMATH DE number 194178 (Why is no real title available?)
• scientific article; zbMATH DE number 3934387 (Why is no real title available?)
• Synthesis of the programmed functions offor loops on data structures
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• scientific article; zbMATH DE number 1061008 (Why is no real title available?)
• Synthesis of network structure design programs
• Syntactically correct multilevel structured program design
• Synthesis of implementations for divide-and-conquer specifications
• Reductions for synthesis procedures
• Description semantics in utopist language and automatic program synthesis
• scientific article; zbMATH DE number 4070283 (Why is no real title available?)
• scientific article; zbMATH DE number 4007714 (Why is no real title available?)
• scientific article; zbMATH DE number 3892570 (Why is no real title available?)
• Reducing Behavioural to Structural Properties of Programs with Procedures
• scientific article; zbMATH DE number 550330 (Why is no real title available?)
• Constructive-synthesizing structures and their grammatical interpretations. I. Generalized formal constructive-synthesizing structure
• A methodology of structured-modular composition programming
• scientific article; zbMATH DE number 4084990 (Why is no real title available?)
• Synthesis of parallel recursive programs in structural functional models

This page was built for publication: A means for the structural synthesis of programs

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