Report Number: CS-TR-75-476
Institution: Stanford University, Department of Computer Science
Title: A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.
Author: Green, C. Cordell
Author: Barstow, David R.
Date: January 1975
Abstract: A hypothetical dialogue with a fictitious program-understanding system is presented. In the interactive dialogue the computer carries out a detailed synthesis of a simple insertion sort program for linked lists. The content, length and complexity of the dialogue reflect the underlying programming knowledge which would be required for a system to accomplish this task. The nature of the knowledge is discussed and the codification of such programming knowledge is suggested as a major research area in the development of program-understanding systems.
http://i.stanford.edu/pub/cstr/reports/cs/tr/75/476/CS-TR-75-476.pdf