A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis.

Abstract

Automated Program Analysis is the process of discovering decomposition of a system into sub-units such that the behavior of its parts. Analysis can be employed to increase the explanatory power of a program understanding system. We identify several techniques which are useful for automated program analysis. Chief among these is the identification and classification of the the macro-scale units of programming knowledge which are characteristics of the problem domain. We call these plans. This paper presents a summary of how plans can be used in program analysis in the form of a hypothetical monologue. We also show a small catalogue of plans which are characteristic of AI programming. Finally, we present some techniques which facilitate plan recognition. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1979
Accession Number
ADA092294

Entities

People

  • Gerald J. Sussman
  • Howard Elliot Shrobe
  • Richard C. Waters

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Abstracts
  • Accumulators
  • Artificial Intelligence
  • Catalogs
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Diagrams
  • Hash Tables
  • Language
  • Military Research
  • Reasoning
  • Recognition
  • Side Effects
  • Standards
  • Trees (Data Structures)

Fields of Study

  • Computer science

Readers

  • Defense Acquisition Program Management
  • Neural Network Machine Learning.
  • Systems Analysis and Design