An ANDF based Ada 95 compiler system

  • Jørgen Bundgaard
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1031)


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.


Assembly Code Target Architecture Abstract Syntax Tree Intermediate Language Target Entity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Andrews, Robert. “TDF and Portability”, Defence Research Agency, Malvern, UK. 1994.Google Scholar
  2. [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. [3]
    DRA. “TDF Facts and Figures”, Defence Research Agency, Malvern, UK. 1995.Google Scholar
  4. [4]
    Edwards, Peter. Foster, Michael. Currie, Ian. “TDF Specification 4.0”, Defence Research Agency, Malvern, UK. 1995.Google Scholar
  5. [5]
    ISO/TEC 8652:1995(E) “Ada Reference Manual”, 1995Google Scholar
  6. [6]
    Mosses, Peter. “Action Semantics”, Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.Google Scholar
  7. [7]
    Møller, Peter: “Run-Time Check Elimination for Ada 95”, Proceedings of the TRI-Ada '94 Conference, Baltimore, ACM, 1994Google Scholar
  8. [8]
    Peeling, N.E. et al. “Frequently Asked Questions about ANDF”, Defence Research Agency, Malvern, UK. 1993.Google Scholar
  9. [9]
    Toft, Jens-Ulrik. “Formal specification of ANDF semantics”, ESPRIT Project 6062 OMI/GLUE, DDC-I, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Jørgen Bundgaard
    • 1
  1. 1.DDC-I A/SLyngbyDenmark

Personalised recommendations