Modula-3: Language definition

Designed and written by Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.

The language designer should be familiar with many alternative features designed by others, and should have excellent judgment in choosing the best and rejecting any that are mutually inconsistent... One thing he should not do is to include untried ideas of his own. His task is consolidation, not innovation. ---C.A.R. Hoare

The original definition of Modula-3 was given in SRC Research Report 31, August 1988. It was revised in report 52, November 1989. And finally published in Systems Programming with Modula-3, November 1989. This edition of the language definition is derived from all of the above.

1. Introduction
2. Definitions
3. Types
4. Statements
5. Declarations
6. Modules and interfaces
7. Expressions
8. Unsafe operations
9. Required interfaces
10. Syntax
11. Acknowledgments
12. About the authors
13. Index

[top] [next]