Eiffel (Informatik)

konsequent objektorientierte Programmiersprache, die 1985 von dem französischen Informatiker Bertrand Meyer entwickelt wurde. Neben Klassen und Vererbung (objektorientierte Programmierung) unterstützt Eiffel eine Reihe fortgeschrittener objektorientierter Konzepte wie Mehrfachvererbung und Zusicherungen. Letztere ermöglichen die Festlegung von Bedingungen und Invarianten, die vor und/oder nach der Ausführung einer Funktion erfüllt werden müssen.