Eiffel Programming Language

This document provides the full reference for the Eiffel language. Eiffel is a method of software construction and a language applicable to the analysis, design, implementation and maintenance of software systems. This Standard covers only the language, with an emphasis on the implementation aspects. As a consequence, the word “Eiffel” in the rest of this document is an abbreviation for "the Eiffel language".

This resource will let you become familiar with the essentials of the Eiffel programming language and method, and the EiffelStudio environment.