Computer Aided Program Synthesis.

Abstract

This paper proposes the construction of a programming system that will interact with a domain expert user to develop a computer program. Activities evident during a client-consultant interaction are identified and examined, and a new program structure called the Program Model (PM) is presented. The PM explicitly represents the definitions and refinements of the problem domain, the development of an algorithmic solution, and the programming knowledge used during synthesis. The types of processing required for a computer aided synthesis system are examined and a control scheme is proposed for managing non-linear program development. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1980
Accession Number
ADA092621

Entities

People

  • Richard J. Wood

Organizations

  • University of Maryland

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Assembly Languages
  • Automatic Programming
  • Classification
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Databases
  • Formal Languages
  • Language
  • Natural Languages
  • Operating Systems
  • Programming Languages
  • Software Development

Fields of Study

  • Computer science

Readers

  • Defense Acquisition Program Management
  • Parallel and Distributed Computing.
  • Theoretical Analysis.