Automatic programming: A tutorial on formal methodologies (Q1060833): Difference between revisions

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.

0 references

zbMATH Keywords

methodologies for automatic program construction

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q4747543

0 references

Q3731007

0 references

On the inference of Turing machines from sample computations

0 references

The Inference of Regular LISP Programs from Examples

0 references

Speeding up the Synthesis of Programs from Traces

0 references

Constructing Programs from Example Computations

0 references

A Production Rule Mechanism for Generating LISP Code

0 references

Q3667932

0 references

A Transformation System for Developing Recursive Programs

0 references

Proof Theory of Partial Correctness Verification Systems

0 references

Synthesis: Dreams → Programs

0 references

A Deductive Approach to Program Synthesis

0 references

Pattern Recognition as Rule-Guided Inductive Inference

0 references

Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development

0 references

Top-down synthesis of divide-and-conquer algorithms

0 references

A Methodology for LISP Program Construction from Examples

0 references

Identifiers

zbMATH Open document ID

0569.68010

0 references

DOI

10.1016/S0747-7171(85)80010-9

0 references

Mathematics Subject Classification ID

68N01

0 references

zbMATH DE Number

3909713

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1060833

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4747543
@@ Property / cites work: Q4747543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731007
@@ Property / cites work: Q3731007 / rank @@
+Normal rank
@@ Property / cites work @@
+On the inference of Turing machines from sample computations
+Normal rank
@@ Property / cites work @@
+The Inference of Regular LISP Programs from Examples
+Normal rank
@@ Property / cites work @@
+Speeding up the Synthesis of Programs from Traces
@@ Property / cites work: Speeding up the Synthesis of Programs from Traces / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing Programs from Example Computations
@@ Property / cites work: Constructing Programs from Example Computations / rank @@
+Normal rank
@@ Property / cites work @@
+A Production Rule Mechanism for Generating LISP Code
+Normal rank
@@ Property / cites work @@
+Q3667932
@@ Property / cites work: Q3667932 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Proof Theory of Partial Correctness Verification Systems
+Normal rank
@@ Property / cites work @@
+Synthesis: Dreams → Programs
@@ Property / cites work: Synthesis: Dreams → Programs / rank @@
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern Recognition as Rule-Guided Inductive Inference
+Normal rank
@@ Property / cites work @@
+Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development
+Normal rank
@@ Property / cites work @@
+Top-down synthesis of divide-and-conquer algorithms
+Normal rank
@@ Property / cites work @@
+A Methodology for LISP Program Construction from Examples
+Normal rank