Résumé : Eiffel est un langage objet de haut niveau issu de la recherche. Il permet l'implantation effective de la programmation par contrat, notamment grâce à ses puissantsmécanismes d'assertions. SmallEiffel est le compilateur GNU Eiffel reconnu parla FSF (Free Sowtware Foundation).