A Program Holder Module,

Abstract

The paper describes a mechanism for holding a program in syntactic form. This mechanism can be useful to any program which processes programs: in program verification automatic programming, and specialized text editing. In this case the program holder is used to form the basis for syntax-driven text editor. Formal specifications for the program holder are also given. (Author)

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1973
Accession Number
AD0765536

Entities

People

  • D. L. Parnas
  • L. Robinson

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Automatic
  • Automatic Programming
  • Computer Programming
  • Computing-Related Activities
  • Software Development
  • Specifications
  • Verification

Fields of Study

  • Computer science

Readers

  • Computational Linguistics