Sillabo dell'insegnamento

• D - Linguaggi
PLN - Paradigmi Linguistici
Il paradigma funzionale, Il paradigma imperativo e il paradigma a oggetti
TAV - Tecniche di Analisi e Verifica
Specica e verica nei linguaggi imperativi  Il metodo delle invarianti  Hoare Logic { Specica e verica nei linguaggi funzionali  Teorie equazionali  Una teoria dei tipi dipendenti
* S - Semantica
Semantica di un (mini) linguaggio funzionale. Semantica di un (mini) linguaggio Algol-like.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
I tipi nei linguaggi funzionali  Annotazioni di tipo come specica  Inferenza dei tipi come verica. Il polimorsm.o  Tipi generici.  Il polimorsmo in ML
* S - Semantica
 Binding statico e binding dinamico  Valutazione lazy e valutazione eager
* S - Semantica
Le locazioni  Il passaggio dei parametri (valore, reference e nome)