Diana Reference Manual Draft Revision 4

Abstract

In a programming environment such as that envisioned for Ada(1), 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 05, 1986
Accession Number
ADA272792

Entities

People

  • Carl F. Schaefer
  • Kathryn L. Mckinley

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Accuracy
  • Compilers
  • Composite Materials
  • Computer Programming
  • Computer Programs
  • Computers
  • Construction
  • Department Of Defense
  • Diagrams
  • High Level Languages
  • Language
  • Military Research
  • Notation
  • Programming Languages
  • Semantics
  • Short Circuits

Fields of Study

  • Computer science
  • Engineering

Readers

  • Business Analytics
  • Computational Linguistics