Accession Number:

ADA063900

Title:

Verification and Correction of Non-Procedural Specifications in Automatic Generation of Programs.

Descriptive Note:

Technical rept.,

Corporate Author:

MOORE SCHOOL OF ELECTRICAL ENGINEERING PHILADELPHIA PA DEPT OF COMPUTER AND INFORMATION SCIENCES

Personal Author(s):

Report Date:

1978-09-15

Pagination or Media Count:

553.0

Abstract:

This dissertation deals with the design and implementation of an interactive Automatic Program Generator, which will generate PL1 programs from a nonprocedural description of a problem in MODEL MOdule DEscription Language. MODEL has many characteristics of very high level languages, being at the same time, descriptive. MODEL processor is quite tolerant of errors in a user specification like incompleteness, inconsistencies, and ambiguities, and resolves those errors, either by generating additional statements, or by updating the user supplied statements. A special form of graph called, Array Graph, is used to represent the MODEL specification. Informally, an array graph is a compact representation of a conventional directed graph. Conventional graph algorithms are applied directly to the array graphs, and in particular, a necessary and sufficient condition for sequenceability of array graphs is derived. Array graph representation has been found quite useful in analyzing MODEL specifications consisting of iterations and recursions. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE