Formalization of the Program Reference Language.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 08, 1985
- Accession Number
- ADA164265
Entities
People
- Brian P. Mccune
- Jeffrey S. Dean
- Michael A. Brzustowicz
- Susan G. Rosenbaum
- William M. Bricken