Abstract
The programming language Ada provides a concept for the separate compilation of program units where checks have to be done across the unit bounds at compile time. Here we describe the Separate Compilation System which was developed for the Ada Compiler Project at the University of Karlsruhe. The realization of the separate compilation facility of Ada is mainly based on the use of a library which contains information about previously compiled units. The separate compilation system maintains the library and provides the functions to support the compiler and other programming tools.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Reference Manual for the Ada Programming Language United States Department of Defense, July 1980 Proposed Standard Document
M. Dausmann, S. Drossopoulou, G. Persch, G. Winterstein AIDA — An Informal Introduction Universität Karlsruhe, Inst. f. Informatik II Bericht Nr 1/80, Jan. 1980
M. Dausmann, S. Drossopoulou, G. Goos G. Persch, G. Winterstein Preliminary AIDA Reference Manual Universität Karlsruhe, Inst. f. Informatik II Bericht Nr. 2/80, Jan. 1980
M. Dausmann, S. Drossopoulou G. Persch, G. Winterstein Efficient Recompilation Checks for Ada Universität Karlsruhe, Inst, f. Informatik II Bericht Nr. 30/80, Nov. 1980
M. Dausmann, S. Drossopoulou G. Persch, G. Winterstein On Reusing Units of Other Program Libraries Universität Karlsruhe, Inst. f. Informatik II Bericht Nr. 31/80, Nov. 1908
J. Goodenough Ada Compiler Validation—Implementor’s Guide SOFTECH Inc. Waltham Ma 02154
J. Ichbiah et al. Rationale for the Design ot the ADA Programming Language ACM SIGPLAN Notices Vol. 14, Nr.6 Part B June 1979
Stoneman Report Department of Defense September 1979
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dausmann, M., Persch, G., Drossopoulou, S., Winterstein, G. (1981). A Separate Compilation System for Ada. In: Goos, G. (eds) Werkzeuge der Programmiertechnik. Informatik-Fachberichte, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68064-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-68064-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10725-5
Online ISBN: 978-3-642-68064-9
eBook Packages: Springer Book Archive