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).
https://hal.inria.fr/inria-00098441
Contributor : Olivier Zendra <>
Submitted on : Monday, September 25, 2006 - 5:01:30 PM Last modification on : Thursday, April 16, 2020 - 10:52:07 AM
Dominique Colnet, Philippe Coucaud, Olivier Zendra. Eiffel : la puissance de la recherche au service de vos programmes. Programmez !, Magazine Programmez, 1998, pp.82-83. ⟨inria-00098441⟩