Sillabo dell'insegnamento

• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
* PL-RS - Runtime Systems
Macchine astratte, linguaggi, interpretazione e compilazione. Introduzione alla struttura del compilatore.
* LF - Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche libere da contesto. Vincoli di semantica statica.
* S - Semantica
* PL-SyA - Syntax Analysis
Sintassi e semantica formale per la descrizione dei linguaggi di programmazione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
Grammatiche regolari, DFA, NFA, e minimalizzazione. I generatori di scanner (Flex, Alex).
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
+ PL-LTE - Language Translation and Execution
I generatori di parser (Bison, Happy).
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-LTE - Language Translation and Execution
Macchina astratta del Pascal, esempio del P-code.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
+ PL-PP - Programming paradigms (Imperative, Functional, ?)
Il paradigma funzionale con esempi in linguaggio Haskell.
* S - Semantica
+ PL-BTS - Basic Type Systems
Sistemi di tipo, type cheking e inference
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
* PL-RS - Runtime Systems
Ambiente, regole di scoping, passaggio dei parametri. Gestione memoria.Tipi di dato e astrazioni sui dati. Controllo di sequenza, procedure, ricorsione.