Automatic programming: A tutorial on formal methodologies

DOI10.1016/S0747-7171(85)80010-9MaRDI QIDQ1060833zbMATH OpenFDO

Authors Alan W. Biermann

Publication date 1985

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0747-7171(85)80010-9

zbMATH Keywords

methodologies for automatic program construction

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Review text

Ten methodologies for automatic program construction are presented, discussed and compared. Some of the techniques generate code from formal input-output specifications while others work from examples of the target behaviour or from natural language input.

Recommendations

• scientific article; zbMATH DE number 3911678
• scientific article; zbMATH DE number 3963167
• From predicates to programs: the semantics of a method language
• scientific article; zbMATH DE number 2084338
• scientific article; zbMATH DE number 4084990

Cites work

• A Deductive Approach to Program Synthesis
• A Methodology for LISP Program Construction from Examples
• A Production Rule Mechanism for Generating LISP Code
• A Transformation System for Developing Recursive Programs
• Constructing Programs from Example Computations
• scientific article; zbMATH DE number 3821093 (Why is no real title available?)
• scientific article; zbMATH DE number 3963167 (Why is no real title available?)
• scientific article; zbMATH DE number 3804894 (Why is no real title available?)
• On the inference of Turing machines from sample computations
• Pattern Recognition as Rule-Guided Inductive Inference
• Proof Theory of Partial Correctness Verification Systems
• Speeding up the Synthesis of Programs from Traces
• Synthesis: Dreams → Programs
• The Inference of Regular LISP Programs from Examples
• Top-down synthesis of divide-and-conquer algorithms
• Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development

Cited in

(12)

• Automated inferencing
• Automated generation of program translation and verification tools using annotated grammars
• On the conversion of program specifications into pseudo code using Jackson structured programming
• scientific article; zbMATH DE number 1696706 (Why is no real title available?)
• From predicates to programs: the semantics of a method language
• scientific article; zbMATH DE number 4164148 (Why is no real title available?)
• scientific article; zbMATH DE number 3911678 (Why is no real title available?)
• scientific article; zbMATH DE number 3963167 (Why is no real title available?)
• scientific article; zbMATH DE number 2040721 (Why is no real title available?)
• scientific article; zbMATH DE number 1755531 (Why is no real title available?)
• scientific article; zbMATH DE number 4115923 (Why is no real title available?)
• scientific article; zbMATH DE number 3225739 (Why is no real title available?)

This page was built for publication: Automatic programming: A tutorial on formal methodologies

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