Instructors' Guide

Introduction Terminology Expressions Control Objects Inheritance Technology Summary


This section has given an introduction to the Eiffel language. It discussed the design principles underlying Eiffel, which may be characterized as being focused on static typing and support for the development of reliable programs.

The language Eiffel


  • design principles -- correctness
  • terminology -- keywords
  • syntax -- type conformance, control
  • objects -- counter example
  • inheritance -- renaming, redefining

slide: Eiffel -- summary

Further, it presented an overview of the keywords related to the constructs offered, and discussed type expressions, value expressions and control statements. An example was given to illustrate the features offered. Finally, we looked at the mechanisms of renaming and redefining, which are needed to avoid name clashes when using multiple inheritance.