Imprecise Program Specification

Abstract

The first section of this report attempts to characterize the field of automatic programming through a general model describing the stages and processing required. The second discusses a particular project as a specialization of the general model. The final section focuses on the problem of imprecise specifications and how they can be understood.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1975
Accession Number
ADA025117

Entities

People

  • Robert M. Balzer

Organizations

  • University of Southern California

Tags

DTIC Thesaurus Topics

  • Acquisition
  • Application Software
  • Artificial Intelligence
  • Automatic Programming
  • California
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Debugging
  • Information Science
  • Instructions
  • Language
  • Natural Languages
  • Specialization
  • Specifications
  • Universities

Readers

  • Business Analytics
  • Theoretical Analysis.

Technology Areas

  • AI & ML