Advertisement

Problems in compiling Ada

  • Gerhard Goos
  • Georg Winterstein
Programming Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 123)

Abstract

Ada is a new system programming language designed by Jean D. Ichbiah et al. on behalf of the American DoD. We outline the structure of a compiler for Ada, subdivided into a (machine-independent) front-end and machine-dependent back-ends. Then we discuss the methods which we applied to solve the problems arising in the design of the front-end. Finally we give a short overview over the intermediate language DIANA which has been specifically designed to represent Ada programs in intermediate form.

Keywords

Ada attributed grammars compiler front-end DIANA intermediate languages programming environment semantic analysis 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8 References

  1. [Ada 79]
    J.D. Ichbiah, J.D. Heliard, O. Roubine, J.G.P. Barnes, B. Krieg-Brückner, B.A. Wichman: Preliminary ADA Reference Manual. ACM SIGPLAN Notices 14, No. 6, Part A, June 1979Google Scholar
  2. [Ada 80]
    Ada Reference Manual. Department of Defense. July 1980 Reprinted in: Lecture Notes in Computer Science, vol. 106, 1981 and in [Ledgard 81]Google Scholar
  3. [Barnes 81]
    J.G. P. Barnes: An Overview of Ada. Software Practice and Experience, Vol. 10, 1980, 851–887Google Scholar
  4. [Bjørner 80]
    D. Bjørner, O.N. Oest (ed.): Towards a Formal Description of Ada. Lecture Notes in Computer Science, Vol. 98, Springer 1980Google Scholar
  5. [Carlson 81]
    W.E. Carlson: Ada: A Promising Beginning. IEEE Computer, Vol. 14,6 (June 1981), 13–16Google Scholar
  6. [Cormack 81]
    G. V. Cormack: An Algorithm for the Selection of Overloaded Functions in Ada. SIGPLAN Notices 16,2 (1981), 48–52Google Scholar
  7. [Dausmann 80a]
    M. Dausmann, G. Persch, G. Winterstein: LIS as Object-Code for an ADA-0 Translator. in: Informatik-Fachberichte, IFB 25, (H.J.Hofmann, ed.), 6. GI-Fachtagung, Programmiersprachen und Programmentwicklung, Darmstadt, 1980, 95–110Google Scholar
  8. [Dausmann 80b]
    M.Dausmann, S.Drossopoulou, G.Goos, G.Persch, G.Winterstein: Preliminary AIDA Reference Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 2/80Google Scholar
  9. [Dausmann 80c]
    M.Dausmann, S.Drossopoulou, G.Goos, G.Persch, G.Winterstein: AIDA Introduction and User Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 38/80Google Scholar
  10. [Dausmann 80d]
    M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: SEPAREE — A Separate Compilation System for Ada. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 32/80Google Scholar
  11. [Dausmann 80e]
    M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: Efficient Recompilation Checks for Ada. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 30/80Google Scholar
  12. [Dausmann 80f]
    M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: On Reusing Units of other Program Libraries. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 31/80Google Scholar
  13. [Dencker 80]
    P. Dencker: Benutzerbeschreibung des PGS. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 8/80Google Scholar
  14. [Ganzinger 80]
    H. Ganzinger, K. Ripken: Operator identification in Ada: Formal specification, complexity, and concrete implementation. SIGPLAN Notices 15,2 (1980), 39–43Google Scholar
  15. [Goodenough 80]
    J. Goodenough: Ada Compiler Validation Implementer's Guide. Softech Inc., October 1980Google Scholar
  16. [Goos 80]
    G. Goos, G. Winterstein: Towards a compiler front-end for Ada. SIGPLAN Notices 15, 11 (1980), 36–46Google Scholar
  17. [Goos 81]
    G. Goos, W.M. Wulf: DIANA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 1/81Google Scholar
  18. [Kahn 80]
    G.J. Kahn, V. Donzeau-Gouge, B. Lang: Formal definition of the Ada Programming Language Preliminary Version for Public Review Honeywell Inc. Minneapolis, CII Honeywell Bull Louveciennes, INRIA Le Chesnay, November 1980Google Scholar
  19. [Kastens 79]
    U. Kastens: ALADIN — eine Definitionssprache für attributierte Grammatiken. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 7/79Google Scholar
  20. [Kastens 80]
    U. Kastens, E. Zimmermann: GAG — A Generator Based on Attributed Grammars. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 14/80Google Scholar
  21. [Ledgard 81]
    H. Ledgard: ADA — An Introduction. Springer Verlag 1981Google Scholar
  22. [LIS 75]
    J.D. Ichbiah, J.P. Rissen, J.D. Heliard, P. Cousot: LIS Reference Manual. Report 4549 E/EN. CII Honeywell-Bull, Louveciennes, France, 1975. Also available from: SIEMENS, UB D Dv WS SP31, 8000 Munich, 1978Google Scholar
  23. [Persch 80a]
    G. Persch, G. Winterstein, M. Dausmann, S. Drossopoulou: Overloading in Preliminary ADA. SIGPLAN Notices 15,11 (1980), 47–56Google Scholar
  24. [Persch 80b]
    G.Persch, G.Winterstein, M.Dausmann, S.Drossopoulou, G.Goos: AIDA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 39/80Google Scholar
  25. [Persch 81a]
    G.Persch, G.Winterstein, M.Dausmann, S.Drossopoulou: ADA-0 Reference and User Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 9/81Google Scholar
  26. [Persch 81b]
    G. Persch, G. Winterstein, S. Drossopoulou, M. Dausmann: An LALR(1)-Grammar for (Revised) Ada. SIGPLAN Notices, Vol. 16, 3 (1981), 85–98Google Scholar
  27. [Röhrich 80]
    J. Röhrich: Methods for the Automatic Construction of Error Correcting Parsers. Acta Informatica 13 (1980), 115–139Google Scholar
  28. [Stoneman 80]
    Stoneman Requirements for Ada Programming Support Environments. US Department of Defense, February 1980Google Scholar
  29. [Uhl 81]
    J. Uhl: An Attributed Grammar for Ada. Fakultät für Informatik II, University of Karlsruhe, Diplomarbeit, 1981Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Gerhard Goos
  • Georg Winterstein

There are no affiliations available

Personalised recommendations