A formal definition of Diana

  • Jurgen Uhl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 180)


Starting from a list of requirements on a formal definition of Diana and a set of applicable description methods we have selected a procedure for the formal definition of Diana. The procedure suggests the use of different methods for different aspects of Diana. This is in contrast to the requirement of a unique description method. The fact that we can use an IDL-like notation as a uniform description language is not enough. The applied methods remain distinct. However, it is possible to translate the definition into another description language based upon another method. It is not yet clear whether the uniformity of the description is more important than other requirements which are met by the distinct methods.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Ada83]
    Reference Manual for the Ada Programming Language ANSI / MIL-STD 1815 A January 1983Google Scholar
  2. [DIANA-01]
    G. Goos, W. Wulf eds. DIANA Reference Manual Universitat Karisruhe. Inst. f. Informatik II Bericht Nr. 1/81, March 1981Google Scholar
  3. 3.
    G. Goos, W. A. Wulf, A. Evans Jr and K. J. Butler (editors) DIANA. An Intermediate Language for Ada (Revised Version) Lecture Notes in Computer Science No. 161. Springer-Verlag (Berlin, Heidelberg. New York, Tokkyo) 1983.Google Scholar
  4. [FD80]
    Formal Definition for the Programming Language Ada. Preliminary Version for Public Review, Nov 80 Honeywell Inc. Minneapolis Cii Honeywell Bull. 78430 Louveciennes. France. INRIA, 78150 LeChesnay, FranceGoogle Scholar
  5. [GAG]
    U. Kastens, B. Hutt and E. Zimmerman GAG: A Practical Compiler Generator, Lecture Note in Computer Science No. 141 Springer-Verlag (Berlin Heidelberg, New York) 1982.Google Scholar
  6. [IDL]
    J. R. Vestor, W. A. Wulf, D. A. Lamb The Interface Description Language IDL Carnegie-Mellon University, CSD August 1981Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Jurgen Uhl
    • 1
  1. 1.Institut fur Informatik IIUniversitat KarisruheKarisruheFederal Republic of Germany

Personalised recommendations