Abstract
Separate compilation has its justification in practical ressons : in large projects it would not be reasonable to recompile the complete system for each modification. Nor would it be reasonable to have every member of a programming project have access to all other program parts.
The facilities provided in the LIS language for separate definition and compilation show that it can be achieved at a reasonable cost. Moreover the availability of the separate compilation system permits type checking to be achieved across separately compiled modules.
Preview
Unable to display preview. Download preview PDF.
References
Ichbiah, J.D., Rissen, J.P., Heliard, J.C., Cousot, P., "The System Implementation Language LIS" CII Technical Report 4549 E1/EN — December 1974
Ichbiah, J.D., Cousot, P., "Visibility and Separate compilations" IFIP WG2.4. M.O.L Bulletin — 4 — May 1974
Clark, B.L., Horning, J.J., "The system language for Project SUE" Sigplan Notices — Vol. 8 — Number 2 — February 1973 — 28–34
Wirth, N., "Modula: a language for modular multiprogramming" Institut für Informatik — Report 18 — ETH Zürich — March 1976
Liskov, B., "A note on Clu" Mac-TR — M.I.T. — June 1975
Wulf, W.A., London, R.L., Show, M., "Abstraction and verification in Alphard" Carnegie Mellon Technical Report — February 1975
De Remer, F., Kron, H.H., "Programming in the large versus programming in the small" IEEE Transactions on Software Engineering — SE-2, 2 — June 1976 — pp 80–86
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ichbiah, J.D., Ferran, G. (1977). Separate definition and compilation in lis and its implementation. In: Williams, J.H., Fisher, D.A. (eds) Design and Implementation of Programming Languages. Lecture Notes in Computer Science, vol 54. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021427
Download citation
DOI: https://doi.org/10.1007/BFb0021427
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08360-3
Online ISBN: 978-3-540-37260-8
eBook Packages: Springer Book Archive