A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.

Available Online:

https://purl.stanford.edu/bp419hj3612

Title:

A hypothetical dialogue exhibiting a knowledge base for a program-understanding system.

Relation:

Stanford University. Libraries. Department of Special Collections and University Archives3840/2https://purl.stanford.edu/bp419hj3612, Stanford University, Department of Computer Science, Technical Reports, and Stanford Artificial Intelligence Laboratory records, 1963-2009

PublishDate:

2021-02-05T23:18:48Z

Description:

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.

Identifier:

CS-TR-1975-476

Contributor:

Green, C. Cordell (autAuthor) and Barstow, David R. (autAuthor)

Type:

Text and technical reports

Date:

1975-01-01

Language:

engEnglish

Format:

1 text file, technical reports, and image/jpeg

Subject:

Stanford University. Computer Science Department and Computer science

Thumbnail:

{data={format=image/jpeg, width=308, @id=https://stacks.stanford.edu/image/iiif/bp419hj3612%2Fbp419hj3612_01/full/!400,400/0/default.jpg, @type=dctypes:Image, service={data={@context=http://iiif.io/api/image/2/context.json, @id=https://stacks.stanford.edu/image/iiif/bp419hj3612%2Fbp419hj3612_01, profile=http://iiif.io/api/image/2/level2.json}}, height=400}}

Exhibit Tags:

Technical Report