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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
8 References
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
Ada Reference Manual. Department of Defense. July 1980 Reprinted in: Lecture Notes in Computer Science, vol. 106, 1981 and in [Ledgard 81]
J.G. P. Barnes: An Overview of Ada. Software Practice and Experience, Vol. 10, 1980, 851–887
D. Bjørner, O.N. Oest (ed.): Towards a Formal Description of Ada. Lecture Notes in Computer Science, Vol. 98, Springer 1980
W.E. Carlson: Ada: A Promising Beginning. IEEE Computer, Vol. 14,6 (June 1981), 13–16
G. V. Cormack: An Algorithm for the Selection of Overloaded Functions in Ada. SIGPLAN Notices 16,2 (1981), 48–52
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
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
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
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
M.Dausmann, S.Drossopoulou, G.Persch, G.Winterstein: Efficient Recompilation Checks for Ada. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 30/80
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
P. Dencker: Benutzerbeschreibung des PGS. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 8/80
H. Ganzinger, K. Ripken: Operator identification in Ada: Formal specification, complexity, and concrete implementation. SIGPLAN Notices 15,2 (1980), 39–43
J. Goodenough: Ada Compiler Validation Implementer's Guide. Softech Inc., October 1980
G. Goos, G. Winterstein: Towards a compiler front-end for Ada. SIGPLAN Notices 15, 11 (1980), 36–46
G. Goos, W.M. Wulf: DIANA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 1/81
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
U. Kastens: ALADIN — eine Definitionssprache für attributierte Grammatiken. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 7/79
U. Kastens, E. Zimmermann: GAG — A Generator Based on Attributed Grammars. Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 14/80
H. Ledgard: ADA — An Introduction. Springer Verlag 1981
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
G. Persch, G. Winterstein, M. Dausmann, S. Drossopoulou: Overloading in Preliminary ADA. SIGPLAN Notices 15,11 (1980), 47–56
G.Persch, G.Winterstein, M.Dausmann, S.Drossopoulou, G.Goos: AIDA Reference Manual Institut f. Informatik II, University of Karlsruhe, Bericht Nr. 39/80
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
G. Persch, G. Winterstein, S. Drossopoulou, M. Dausmann: An LALR(1)-Grammar for (Revised) Ada. SIGPLAN Notices, Vol. 16, 3 (1981), 85–98
J. Röhrich: Methods for the Automatic Construction of Error Correcting Parsers. Acta Informatica 13 (1980), 115–139
Stoneman Requirements for Ada Programming Support Environments. US Department of Defense, February 1980
J. Uhl: An Attributed Grammar for Ada. Fakultät für Informatik II, University of Karlsruhe, Diplomarbeit, 1981
Editor information
Rights 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