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)

Review text

A programs specification language is described that includes equations, \(\lambda\)-definitions for functions and atom predicate formulas. An algorithm is proposed for synthesis according to specifications that uses production rules that state the features of the subject area. Examples of the synthesis procedure are presented.

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

(33)

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