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.
Preview
Unable to display preview. Download preview PDF.
References
Andrews, Robert. “TDF and Portability”, Defence Research Agency, Malvern, UK. 1994.
Bundgaard, Jørgen. “The Design of an Ada 95 Compilation Environment”, Proceedings of the Fourth “Ada in Aerospace” Symposium in Brussels, 1993.
DRA. “TDF Facts and Figures”, Defence Research Agency, Malvern, UK. 1995.
Edwards, Peter. Foster, Michael. Currie, Ian. “TDF Specification 4.0”, Defence Research Agency, Malvern, UK. 1995.
ISO/TEC 8652:1995(E) “Ada Reference Manual”, 1995
Mosses, Peter. “Action Semantics”, Number 26 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
Møller, Peter: “Run-Time Check Elimination for Ada 95”, Proceedings of the TRI-Ada '94 Conference, Baltimore, ACM, 1994
Peeling, N.E. et al. “Frequently Asked Questions about ANDF”, Defence Research Agency, Malvern, UK. 1993.
Toft, Jens-Ulrik. “Formal specification of ANDF semantics”, ESPRIT Project 6062 OMI/GLUE, DDC-I, 1995.
Author information
Authors and Affiliations
Editor information
Rights 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