DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA063900
Title:
Verification and Correction of Non-Procedural Specifications in Automatic Generation of Programs.
Corporate Author:
MOORE SCHOOL OF ELECTRICAL ENGINEERING PHILADELPHIA PA DEPT OF COMPUTER AND INFORMATION SCIENCES
Report Date:
1978-09-15
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
Descriptive Note:
Technical rept.,
Supplementary Note:
Doctoral thesis.
Pages:
0553
Distribution Statement:
Availability: Document partially illegible.
Contract Number:
N00014-76-C-0416
File Size:
186.11MB
