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)

zbMATH Keywords

methodologies for automatic program construction

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

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

• 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?)
• 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
• 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)

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

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)