Formalization of the Program Reference Language.
Final rept. 15 Jul 84-14 Sep 85,
ADVANCED INFORMATION AND DECISION SYSTEMS MOUNTAIN VIEW CA
Pagination or Media Count:
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.
- Computer Programming and Software