Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Grammatiche e Linguaggi: richiami dei concetti base. Analisi lessicale: Espressioni e grammatiche regolari, Automi a stati finiti.
• D - Linguaggi
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Linguaggi e macchine astratte loro associate.
* MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
Modalità di realizzazione dei linguaggi: interpretazione, compilazione, supporto a tempo di esecuzione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Introduzione ai compilatori; fasi di compilazione.
* TTCI - Tecniche di Traduzione: Compilatori e Interpreti
Realizzazione di analizzatori lessicali.
* LF - Linguaggi Formali
Analisi sintattica: Grammatiche libere da contesto e tecniche di analisi LL(k) e LR(k).
* S - Semantica
Analisi semantica e generazione del codice: cenni di semantica operazionale e denotazionale, generazione del codice guidata dalla sintassi.
ALC - Astrazioni Linguistiche e Composizionalita'
Cenni di ottimizzazione del codice.
TAV - Tecniche di Analisi e Verifica
Proprietà del codice generato: semantica assiomatica, verifica statica di proprietà.