A synthesis of several sorting algorithms

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

Computing, Computer Science, Compilers +10

Knowledge and reasoning in program synthesis

Zohar Manna, Richard Waldinger · Artificial Intelligence · 1975 · 103 citations

Computing, Computer Science, Algorithms +11

On program synthesis knowledge

Cordell Green, D Barstow · Artificial Intelligence · 1978 · 76 citations

Computing, Computer Science, Knowledge Representation +6

Progress report on program-understanding systems.

C. C Green, Richard Waldinger, D Barstow et al. · 1974 · 29 citations

Computing, Computer Science, Artificial Intelligence +10