Skip to main content
SpringerLink
Log in
Book cover

Conference of the European Cooperation in Informatics

ECI 1981: Trends in Information Processing Systems pp 173–199Cite as

Problems in compiling Ada

  • Programming Languages
  • Conference paper
  • First Online:

  • 111 Accesses

Part of the book series: Lecture Notes in Computer Science ((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.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8 References

  1. 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 1979

    Google Scholar 

  2. 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. J.G. P. Barnes: An Overview of Ada. Software Practice and Experience, Vol. 10, 1980, 851–887

    Google Scholar 

  4. D. Bjørner, O.N. Oest (ed.): Towards a Formal Description of Ada. Lecture Notes in Computer Science, Vol. 98, Springer 1980

    Google Scholar 

  5. W.E. Carlson: Ada: A Promising Beginning. IEEE Computer, Vol. 14,6 (June 1981), 13–16

    Google Scholar 

  6. G. V. Cormack: An Algorithm for the Selection of Overloaded Functions in Ada. SIGPLAN Notices 16,2 (1981), 48–52

    Google Scholar 

  7. 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–110

    Google Scholar 

  8. M.Dausmann, S.Drossopoulou, G.Goos, G.Persch, G.Winterstein: Preliminary AIDA Reference Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 2/80

    Google Scholar 

  9. 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/80

    Google Scholar 

  10. 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/80

    Google Scholar 

  11. M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: Efficient Recompilation Checks for Ada. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 30/80

    Google Scholar 

  12. 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/80

    Google Scholar 

  13. P. Dencker: Benutzerbeschreibung des PGS. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 8/80

    Google Scholar 

  14. H. Ganzinger, K. Ripken: Operator identification in Ada: Formal specification, complexity, and concrete implementation. SIGPLAN Notices 15,2 (1980), 39–43

    Google Scholar 

  15. J. Goodenough: Ada Compiler Validation Implementer's Guide. Softech Inc., October 1980

    Google Scholar 

  16. G. Goos, G. Winterstein: Towards a compiler front-end for Ada. SIGPLAN Notices 15, 11 (1980), 36–46

    Google Scholar 

  17. G. Goos, W.M. Wulf: DIANA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 1/81

    Google Scholar 

  18. 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 1980

    Google Scholar 

  19. U. Kastens: ALADIN — eine Definitionssprache für attributierte Grammatiken. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 7/79

    Google Scholar 

  20. U. Kastens, E. Zimmermann: GAG — A Generator Based on Attributed Grammars. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 14/80

    Google Scholar 

  21. H. Ledgard: ADA — An Introduction. Springer Verlag 1981

    Google Scholar 

  22. 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, 1978

    Google Scholar 

  23. G. Persch, G. Winterstein, M. Dausmann, S. Drossopoulou: Overloading in Preliminary ADA. SIGPLAN Notices 15,11 (1980), 47–56

    Google Scholar 

  24. G.Persch, G.Winterstein, M.Dausmann, S.Drossopoulou, G.Goos: AIDA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 39/80

    Google Scholar 

  25. G.Persch, G.Winterstein, M.Dausmann, S.Drossopoulou: ADA-0 Reference and User Manual. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 9/81

    Google Scholar 

  26. G. Persch, G. Winterstein, S. Drossopoulou, M. Dausmann: An LALR(1)-Grammar for (Revised) Ada. SIGPLAN Notices, Vol. 16, 3 (1981), 85–98

    Google Scholar 

  27. J. Röhrich: Methods for the Automatic Construction of Error Correcting Parsers. Acta Informatica 13 (1980), 115–139

    Google Scholar 

  28. Stoneman Requirements for Ada Programming Support Environments. US Department of Defense, February 1980

    Google Scholar 

  29. J. Uhl: An Attributed Grammar for Ada. Fakultät für Informatik II, University of Karlsruhe, Diplomarbeit, 1981

    Google Scholar 

Download references

Authors
  1. Gerhard Goos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Georg Winterstein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Arie Duijvestijn Peter Christian Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Goos, G., Winterstein, G. (1981). Problems in compiling Ada. In: Duijvestijn, A., Lockemann, P.C. (eds) Trends in Information Processing Systems. ECI 1981. Lecture Notes in Computer Science, vol 123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10885-8_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-10885-8_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10885-6

  • Online ISBN: 978-3-540-38794-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation