Ecma International Home
contact us
Ecma Site Map


Standard ECMA-367
Eiffel: Analysis, Design and Programming Language

2nd edition (June 2006)

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”.

The Standard specifies:

  • The form of legal basic constituents of Eiffel texts, or lexical properties of the language;
  • The structure of legal Eiffel texts made of lexically legal constituents, or syntax properties;
  • Supplementary restrictions imposed on syntactically legal Eiffel texts, or validity properties;
  • The computational effect of executing valid Eiffel texts, or semantic properties;
  • Some requirements on a conforming implementation of Eiffel, such as the ability to produce certain forms of automatic documentation.

The Standard does not specify:

  • The requirements that a computing environment must meet to support the translation, execution and other handling of Eiffel texts;
  • The semantic properties of an Eiffel text if it or its data exceed the capacity of a particular computing environment;
  • The mechanisms for translating Eiffel texts into a form that can be executed in a computing environment;
  • The mechanisms for starting the execution of the result of such a translation;
  • Other mechanisms for handling Eiffel texts and interacting with users of the language.

The following file can be freely downloaded:

File name Size (Bytes) Content
ECMA-367.pdf 3 405 094 Acrobat (r) PDF file

This Ecma publication is also approved as ISO/IEC 25436.

The previous replaced "historical" edition of this Ecma Standard is available here.

Back Back





only search Ecma International

Level A conformance icon, 

          W3C-WAI Web Content Accessibility Guidelines 1.0