The Inference of Regular LISP Programs from Examples

Language identification in the limit

1967 • 3,589 citations

Toward a mathematical theory of inductive inference

1975 • 680 citations

A Methodology for LISP Program Construction from Examples

1977 • 228 citations

Some decidability results on grammatical inference and complexity

1972 • 174 citations

Constructing Programs from Example Computations

1976 • 159 citations

Inferring LISP programs from examples

1975 • 67 citations

Approaches to Automatic Programming

1976 • 54 citations

Speeding up the Synthesis of Programs from Traces

1975 • 47 citations

Synthesis of LISP functions from examples

1975 • 37 citations

Program construction from examples.

1975 • 21 citations

Automatic program synthesis from example problems

1975 • 19 citations