Program-Understanding Systems

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1974
Accession Number
AD0787035

Entities

People

  • Brian P. Mccune
  • C. C. Green
  • David E. Shaw
  • David R. Barstow
  • Douglas B. Lenat
  • Louis I. Steinberg
  • Richard J. Waldinger
  • Robert Elschlager

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic
  • Automatic Programming
  • California
  • Computer Programming
  • Computer Science
  • Computers
  • Concept Formation
  • Language
  • Materials
  • Natural Languages
  • Programming Languages
  • Specifications
  • Square Roots
  • Standards
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Research Science/Academic Research

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy