Automatic program synthesis from example problems

Predicate Logic as Programming Language.

1974 • 605 citations

Toward automatic program synthesis

1971 • 283 citations

PROW: a step toward automatic program writing

1969 • 121 citations

On the inference of Turing machines from sample computations

1972 • 84 citations

An efficient robot planner which generates its own procedures

1973 • 36 citations

An improved program-synthesizing algorithm and its correctness

1974 • 32 citations

Progress report on program-understanding systems.

1974 • 30 citations

Proving theorems about LISP functions

1973 • 28 citations

On automating the construction of programs.

1974 • 21 citations

Collaborative Problem-solving Between Optimistic and Pessimistic ProblemSolvers

1973 • 7 citations

Model verification and improvement using DISPROVER

1975 • 7 citations

Automatic Program Synthesis Reports.

1973 • 5 citations

Procedural Learning in Worlds of Robots

1976 • 2 citations