Eiffel foi ideado en 1985 por Bertrand Meyer. É unha linguaxe de programación orientada a obxectos centrada na construción de software robusto. A súa sintaxe é parecida á da linguaxe de programación Pascal. Unha característica que o distingue do resto das linguaxes é que permite o deseño por contrato desde a base, con precondicións, postcondicións, invariantes e variantes de bucle, invariantes de clase e asertos.
Eiffel é unha linguaxe con tipos fortes, pero relaxado por herdanza. Implementa administración automática de memoria, xeralmente mediante algoritmos de recolección de lixo.
As claves desta linguaxe están recollidas no libro de Meyer, Construción de Software Orientado a Obxectos.
Véxase tamén
Ligazóns externas