Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchine astratte, linguaggi, interpretazione e compilazione. Introduzione alla struttura del compilatore.
* LF - Linguaggi Formali
Grammatiche libere da contesto. Vincoli di semantica statica.
* S - Semantica
Sintassi e semantica formale per la descrizione dei linguaggi di programmazione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Grammatiche regolari, DFA, NFA, e minimalizzazione. I generatori di scanner (Flex, Alex).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
I generatori di parser (Bison, Happy).
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Macchina astratta del Pascal, esempio del P-code.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Il paradigma funzionale con esempi in linguaggio Haskell.
* S - Semantica
Sistemi di tipo, type cheking e inference
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Ambiente, regole di scoping, passaggio dei parametri. Gestione memoria.Tipi di dato e astrazioni sui dati. Controllo di sequenza, procedure, ricorsione.