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.