Skip to main content

Diana past, present, and future

  • Conference paper
  • First Online:
  • 137 Accesses

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

Abstract

DIANA is an intermediate representation of Ada programs that contains all the information of the source program along with the results of lexical, syntactic and static semantic analysis. DIANA is an abstract data type that does not imply any representation so DIANA does not constrain an implementation. While DIANA is not the only possible internal representation it is a generally useful one.

DIANA will continue to be a valuable interface for tools. Programming environments that support a DIANA interface will be able to add new tools easily and upgrade existing tools that use DIANA as their interface. DIANA is the first step towards an environment of ‘plug compatible’ tools.

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. B. M. Brosgol, J. M. Newcomer, D. A. Lamb, D. Levine, M. D. Van Deusen, and W. A. Wulf. TCOL Ada: Revised Report on an Intermediate Representation for the Preliminary Ada Language. Technical Report CMU-CS-80-105. Carnegie-Mellon University, Computer Science Department, February, 1980.

    Google Scholar 

  2. 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, Tokyo) 1983.

    Google Scholar 

  3. G. Goos and W. A. Wulf (editors). Diana Reference Manual Technical Report CMU-CS-81-101, Carnegie-Mellon University Computer Science Department. March, 1981.

    Google Scholar 

  4. Formal Definition of the Ada Programming Language November 1980 edition, Honeywell, Inc., Cii Honeywell Bull, INRIA, 1980.

    Google Scholar 

  5. J. R. Nestor, W. A. Wulf, D. A. Lamb. IDL — Interface Description Language: Formal Definition. Technical Report CMU-CS-81-139. Carnegie-Mellon University. Computer Science Department, June, 1982. Revision 3.

    Google Scholar 

  6. G. Persch, G. Winterstein, M. Dausmann, S. Drossopoulou, G. Goos. AIDA Reference Manual Technical Report Nr. 39/80. Institut fuer Informatik II, Universitaet Karlsruhe, November, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

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

Butler, K.J. (1984). Diana past, present, and future. 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_2

Download citation

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

  • 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