Accession Number : ADA181162

Title :   Implementation of the Extended Program Model.

Descriptive Note : Final rept. 15 Jul 85-14 Sep 86,

Corporate Author : ADVANCED DECISION SYSTEMS MOUNTAIN VIEW CA

Personal Author(s) : Bricken,William M. ; Rosenbaum,Susan G. ; Lyris,Sonia O. ; McCune,Brian P.

Report Date : SEP 1986

Pagination or Media Count : 68

Abstract : The goal of the Program Reference Language is to construct multiple representations of a program that facilitate queries on the code structure. The fifth year of this program focused on the implementation of a data and control flow model of programs, called Losp. A subset of Ada programs is transcribed into Lisp and then into Pure LISP. The Losp representation is constructed from Pure LISP by converting logical control structures to configurations of boundary tokens (parentheses). The distinction network representation is constructed by distributing boundary tokens and functional definitions over a network in which nodes represent procedure names and variables, and arcs represent function-argument dependencies. Distinction networks can be interpreted to yield functionally invariant code, and they can be queried as objects about their control and data flow structure.

Descriptors :   *COMPUTER PROGRAMMING, *SYSTEMS ENGINEERING, *EDITING, CODING, CONTROL, DATA BASES, DATA PROCESSING, FLOW, INTERROGATION, INVARIANCE, MODELS, NETWORKS, ACCESS

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE