Basi teoriche e pratiche per la progettazione e l'implementazione di compilatori e interpreti. Il corso analizza le fasi di analisi lessicale (espressioni regolari e automi), analisi sintattica (grammatiche context-free e parser), analisi semantica (controllo tipi), generazione del codice intermedio e ottimizzazione del codice target per l'esecuzione su macchina.