Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Evoluzione dei linguaggi di programmazione; dai linguaggi assembler ai linguaggi ad alto livello; macchine astratte, interpreti, compilatori; macchina ospite e macchina intermedia; il supporto a run-time; strutture dati nel supporto a run-time
* S - Semantica
PL-FS - Formal Semantics
Semantica operazionale dei linguaggi di programmazione e sua realizzazione
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
PL-FS - Formal Semantics
Ambiente statico e dinamico, regole di scoping e loro realizzazione; pila dei record d'attivazione, heap e sua gestione
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Parametri e modalità di passaggio: per valore, per riferimento, per risultato, per nome; parametri funzionali; chiusure; eccezioni
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Gestione della memoria, realizzazione dell'astrazione funzionale e ricorsione; sistemi di tipi
PLN - Paradigmi Linguistici
PL-PR - Program Representation
La programmazione funzionale: semantica operazionale, valutazione lazy e call-by-value, i tipi, i tipi polimorfi, subtyping, algoritmi di inferenza di tipi, i tipi principali; gestione della memoria e garbage collection
V - Varie
+ PL-BTS - Basic Type Systems
Esercitazioni di programmazione funzionale: valutazione
V - Varie
PL-TS - Type Systems
Esercitazioni di programmazione funzionale: tipi
V - Varie
PL-APC - Advanced Programming Constructs
Esercitazioni di programmazione funzionale: gestione della memoria