scope:

Overview

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 International 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".