Program-Understanding Systems
C. Cordell Green, Richard J. Waldinger, David R. Barstow, Robert A. Elschlager, Douglas B. Lenat, Brian P. McCune, David Elliot Shaw, Louis I. Steinberg · 1974
Abstract : This progress report covers the first year and one half of work by the automatic-programming research group at the Stanford Artificial Intelligence Laboratory. Major emphasis has been placed on methods of program specification, codification of programming knowledge, and implementation of pilot systems for program writing and understanding. List processing has been used as the general problem domain for this work.