Eiffel : la puissance de la recherche au service de vos programmes
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).