A complete tutorial of the Eiffel programming language, this book emphasizes the role of abstract data types (ADTs) in software development. It shows how Eiffel's unique approach to "programming by contact" encourages the design of reusable software components and explores techniques for ensuring the correctness of programs.

From the Back Cover

The Eiffel programming language has won strong support from the OOP community as an alternative to C++, Smalltalk and other languages. This book gives a complete tutorial guide, emphasizing the role of abstract data types (ADTs) in software development. It is especially suited to courses where object-oriented techniques are introduced for programming-in-the-large. It shows how Eiffel's unique approach to programming by contact encourages the design of reusable software components. It also explores techniques for ensuring the correctness of programs. Highlights of the book include: A strong emphasis on Eiffel's support for modern software engineering practice, including the development of abstract data types, reusable components, and correctness issues Full coverage of advanced features including multiple inheritance, polymorphism, dynamic binding, and exception handling Guidance on when to use inheritance and when to use the client-supplier relationship A case study illustrating Eiffel's power and expressiveness

"About this title" may belong to another edition of this title.