The PSI Program Model Builder - synthesis of very high-level programs

Structured Programming with go to Statements

1974 • 677 citations

A control statement for natural top-down structured programming

1974 • 72 citations

On programming : an interim report on the SETL Project

1973 • 67 citations

The design of the PSI program synthesis system

1976 • 66 citations

A knowledge-based system for automatic program construction

1977 • 32 citations

The selection of efficient implementations for a high-level language

1977 • 18 citations

Program inference from traces using multiple knowledge sources

1977 • 9 citations

A parser for English and its application in an automatic programming system

1977 • 5 citations

On the use of programming knowledge to understand informal process descriptions

1977 • 3 citations