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