Sillabo dell'insegnamento

• D - Linguaggi
PLN - Paradigmi Linguistici
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Il paradigma funzionale, Il paradigma imperativo e il paradigma a oggetti
TAV - Tecniche di Analisi e Verifica
+ PL-BTS - Basic Type Systems
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
PL-FS - Formal Semantics
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
* PL-CP - Concurrency and Parallelism
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
PL-LP - Language Pragmatics
 Binding statico e binding dinamico  Valutazione lazy e valutazione eager
* S - Semantica
PL-FS - Formal Semantics
Le locazioni  Il passaggio dei parametri (valore, reference e nome)