A Hypothetical Dialogue Exhibiting a Knowledge Base for a Program-Understanding System

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1975
Accession Number
ADA006294

Entities

People

  • Cordell Green
  • David Barstow

Organizations

  • Stanford University

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Efficiency
  • English Language
  • Governments
  • Language
  • Lists (Data Structures)
  • Natural Languages
  • Optimization
  • Permutations
  • Programming Languages
  • Standards
  • Universities

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence