Skip to main content
SpringerLink
Log in
Book cover

Ada Software Tools Interfaces pp 35–47Cite as

A formal definition of Diana

  • Conference paper
  • First Online:

  • 133 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 180))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Reference Manual for the Ada Programming Language ANSI / MIL-STD 1815 A January 1983

    Google Scholar 

  2. G. Goos, W. Wulf eds. DIANA Reference Manual Universitat Karisruhe. Inst. f. Informatik II Bericht Nr. 1/81, March 1981

    Google Scholar 

  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. 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, France

    Google Scholar 

  5. 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. J. R. Vestor, W. A. Wulf, D. A. Lamb The Interface Description Language IDL Carnegie-Mellon University, CSD August 1981

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut fur Informatik II, Universitat Karisruhe, Postfach 6380, D-7500, Karisruhe, Federal Republic of Germany

    Jurgen Uhl

Authors
  1. Jurgen Uhl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter J. L. Wallis

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Uhl, J. (1984). A formal definition of Diana. In: Wallis, P.J.L. (eds) Ada Software Tools Interfaces. Lecture Notes in Computer Science, vol 180. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13878-1_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-13878-1_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13878-5

  • Online ISBN: 978-3-540-39071-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation