14) Quali sono le caratteristiche del linguaggio Eiffel?

Intende rendere più sicura la programmazione OO

• programmazione ben controllata e verificata di applicazioni.
• semantica per riferimento.
• oggetti contengono solo riferimenti ad altri .
• uso di attributi (sia variabili, sia metodi).
• variabili tipate.
• controlli statici delle variabili.
• interfaccia come tipo per ogni classe.
• overriding non implicito.
• prerequisiti su esecuzione/oggetti e eccezioni.
• si specificano vincoli da rispettare durante l'esecuzione e azioni correttive.
• risoluzione del binding dinamica.
• le variabili ed i metodi sono legati più tardi possibile (late binding).
• controllo esplicito di creazione/distruzione.
• primitive di sistema per la creazione e esplicita deallocazione per distruggere.
• genericità di classi .