BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-75-476
       ENTRY:: August 23, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: A hypothetical dialogue exhibiting a knowledge base for a
               program-understanding system.
        TYPE:: Technical Report
      AUTHOR:: Green, C. Cordell
      AUTHOR:: Barstow, David R.
        DATE:: January 1975
       PAGES:: 44
    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.
       NOTES:: [Adminitrivia V1/Prg/19950823]
         END:: STAN//CS-TR-75-476