Diana Reference Manual Draft Revision 4
INTERMETRICS INC BETHESDA MD
Pagination or Media Count:
In a programming environment such as that envisioned for Ada1, there will be a number of tools -- formatters pretty printers, language- oriented editors, cross-reference generators, test-case generators, etc. In general, the input and output of these tools is NOT the source test of the program being developed instead it is some intermediate form that has been produced by another tool in the environment. This document defines DIANA, Descriptive Intermediate Attributed Notation for Ada. DIANA is an intermediate form of Ada programs which has been designed to be especially suitable for communication between two essential tools -- the Front and Back Ends of a compiler -- but also to be suitable for use by other tools in an Ada support environment. DIANA encodes the results of lexical, syntactic and STATIC semantic analysis, but it does NOT include the results of DYNAMIC semantic analysis, of optimization, or of code generation.
- Computer Programming and Software