Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
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
Semantica operazionale dei linguaggi di programmazione e sua realizzazione
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
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
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
Gestione della memoria, realizzazione dell'astrazione funzionale e ricorsione; sistemi di tipi
PLN - Paradigmi Linguistici
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
Esercitazioni di programmazione funzionale: valutazione
V - Varie
Esercitazioni di programmazione funzionale: tipi
V - Varie
Esercitazioni di programmazione funzionale: gestione della memoria