A Program Writer.

Abstract

This paper is concerned with the problem of taking a high level specification for a program and designing an appropriate algorithm and data structure, utilizing knowledge about the domain and about programming. The basic approach is to use successive refinement organized and regulated by several models of different aspects of the programs. The system, called the programwriter, uses five models of the programs: as representing events in the application domain, as primitives passing arguments within a control structure, as creating and using data, as carrying on an I/O exchange with the user, and as a construct in the target language. These models provide the appropriate views of the program to constrain and guide the refinement process. The global views provided by these models also make possible global transformations of the program structure when an opportunity for improvement is recognized. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1977
Accession Number
ADA047595

Entities

People

  • William J. Long

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acquisition
  • Algorithms
  • Artificial Intelligence
  • Automatic Programming
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Debugging
  • Information Systems
  • Language
  • Programming Languages
  • Recognition
  • Software Development
  • Standards
  • Structured Programming

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science.
  • Software Engineering.