The Modula-3 type system

This book aims to provide a complete guide for programmers who want to learn how to write correct and maintainable programmes in the Modula-3 programming language - the newest member of the Pascal family of languages. The book describes the complete Modula-3 language, beginning with basics and progressing to more advanced features of the language. Coverage includes the basic language, declaration statements, types and procedures. By following the first half of the guide's step-by-step instruction, readers may gain a complete command of the "Pascal subset" of Modula-3 and be ready for the more advanced concepts of the language. The guide then goes on to discuss the exception handling mechanism to illustrte robust programming techniques. Also covered are modules and interfaces in detail, dynamic memory, object-oriented programming, concurrent programming and others. Modula-3 is a modern, general purpose programming language. It provides excellent support for large, reliable, and maintainable applications. Its clean syntax and semantics, along with support for object-oriented programming and parallelism, make Modula-3 an excellent teaching and design language. Modula-3 is easy to learn, safer from run-time misbehavior, and the automatic garbage collection facility greatly simplifies the programming of applications that make use of dynamic memory. This book is for programmers who want to write clear and efficient programs. The book can be used as a supplementary text in computer science courses, or for self-study and reference