Diana Reference Manual. Revision 3,

Abstract

This document describes Diana, a Descriptive Intermediate Attributed Notation for Ada, being both an introduction and reference manual for it. Diana is an abstract data type such that each object of the type is a representation of an intermediate form of an Ada program. Although the initial uses of this form were for communication between the Front and Back Ends of an Ada compiler, it is also intended to be suitable for use with other tools in an Ada programming environment. Diana resulted from a merger of the best properties of two earlier similar intermediate forms: TCOL and AIDA. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 28, 1983
Accession Number
ADA128232

Entities

People

  • Arthur Evans Jr.
  • Kenneth J. Butler

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Facilities
  • Compilers
  • Computer Programming
  • Computers
  • Concrete
  • Contracts
  • Department Of Defense
  • Environment
  • High Level Languages
  • Language
  • Manuals
  • Notation
  • Programming Languages
  • Standards
  • United States

Readers

  • Database Systems and Applications
  • Instructional Design and Training Evaluation.
  • Software Verification and Validation.