Communications of the ACM
Communications of the ACM
Module structure in an evolving family of real time systems
ICSE '79 Proceedings of the 4th international conference on Software engineering
Software development control based on module interconnection
ICSE '79 Proceedings of the 4th international conference on Software engineering
Pilot: A software engineering case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
The impact of mesa on system design
ICSE '79 Proceedings of the 4th international conference on Software engineering
Designing software for ease of extension and contraction
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Report on the programming language Euclid
ACM SIGPLAN Notices
Data flow analysis for `intractable' system software
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
The cost of selective recompilation and environment processing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Early experience with the programming language Ada
ACM SIGAda Ada Letters
Hi-index | 0.00 |
The support for modular software and the ability to perform type checking across module boundaries are becoming the mainstay of recent high level language design. This is well illustrated by languages such as MESA and the US Department of Defence's new standard language ADA. At Bell-Northern Research, PROTEL, one of the first modular typed languages, has been used since 1975 to implement a substantial software system. The experience accumulated in building this system has given us a unique perspective. It has shown that the confidence of language designers in modular typed languages is well founded. It has also revealed some pitfalls which others will undoubtedly encounter. The purpose of this paper is to share our experience by outlining the nature of the problems and our solutions to them.