Skip to main content

An ANDF based Ada 95 compiler system

  • Conference paper
  • First Online:
Ada in Europe (Ada-Europe 1995)

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

Included in the following conference series:

  • 110 Accesses

Abstract

An Ada 95 compiler system which uses the Architecture Neutral Distribution Format (ANDF) as an intermediate program representation form is presented. ANDF was originally designed and developed for use in C compilers, but has now been extended to support other high-level languages efficiently, including Ada 95.

The main difference between ANDF and conventional intermediate program forms is that ANDF represents an abstraction of the high-level language while the others typically represent an abstraction of the target architecture. One of the advantages of using ANDF is that high quality final code generators already exist for a number of popular platforms. That gives a potential for bringing Ada 95 rapidly to these platforms.

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andrews, Robert. “TDF and Portability”, Defence Research Agency, Malvern, UK. 1994.

    Google Scholar 

  2. Bundgaard, Jørgen. “The Design of an Ada 95 Compilation Environment”, Proceedings of the Fourth “Ada in Aerospace” Symposium in Brussels, 1993.

    Google Scholar 

  3. DRA. “TDF Facts and Figures”, Defence Research Agency, Malvern, UK. 1995.

    Google Scholar 

  4. Edwards, Peter. Foster, Michael. Currie, Ian. “TDF Specification 4.0”, Defence Research Agency, Malvern, UK. 1995.

    Google Scholar 

  5. ISO/TEC 8652:1995(E) “Ada Reference Manual”, 1995

    Google Scholar 

  6. Mosses, Peter. “Action Semantics”, Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.

    Google Scholar 

  7. Møller, Peter: “Run-Time Check Elimination for Ada 95”, Proceedings of the TRI-Ada '94 Conference, Baltimore, ACM, 1994

    Google Scholar 

  8. Peeling, N.E. et al. “Frequently Asked Questions about ANDF”, Defence Research Agency, Malvern, UK. 1993.

    Google Scholar 

  9. Toft, Jens-Ulrik. “Formal specification of ANDF semantics”, ESPRIT Project 6062 OMI/GLUE, DDC-I, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Marcel Toussaint

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bundgaard, J. (1996). An ANDF based Ada 95 compiler system. In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1995. Lecture Notes in Computer Science, vol 1031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015485

Download citation

  • DOI: https://doi.org/10.1007/BFb0015485

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60757-1

  • Online ISBN: 978-3-540-49362-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics