Accession Number:

ADA164265

Title:

Formalization of the Program Reference Language.

Descriptive Note:

Final rept. 15 Jul 84-14 Sep 85,

Corporate Author:

ADVANCED INFORMATION AND DECISION SYSTEMS MOUNTAIN VIEW CA

Report Date:

1985-10-08

Pagination or Media Count:

84.0

Abstract:

The goal of the Program Reference Language PRL Project is to construct a representation of Ada programs that facilitates retrieval of code based on both syntactic literal and semantic functional queries. The fourth year of the project focused on the formalization of the Extended Program Model EPM, which consists of textual, syntactic, and semantic representations. The PRL query language specifies search over these three interrelated databases. Textual items are retrieved by string-matching capabilities of standard editors syntactic queries are directd to the syntax parse tree queries referencing program functionality are mapped onto the LOSP semantic representation. Key words Program Reference Language PRL, Extended Program Model EPM, Intelligent Program Editor IPE, Artificial Intelligence AI, Program editing, Ada editor, Ada syntax, Semantic model, Pictorial logic, Query language, and LOSP.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE