• programmazione per produzione di programmi efficienti e senza vincoli espressivi.
• semantica per riferimento e per innestamento.
• oggetti possono essere anche innestati in altri e legati al destino dei contenenti.
• variabili tipate.
• controlli statici delle variabili.
• possibile visibilità anche esterna delle variabili .
• risoluzione del binding statica e dinamica.
• le variabili ed i metodi sono legati prima possibile - a meno di virtualità.
• controllo esplicito di creazione/distruzione.
• gli oggetti - anche innestati - prevedono espliciti creatori e distruttori da invocare .
• no garbage collector.
• ereditarietà multipla.
• genericità di classi .

.