Compilatori

Il corso considera le tecniche per la realizzazione di un compilatore, ovvero di uno strumento automatico di traduzione da un linguaggio di programmazione a un altro. I risultati teorici sono presentati insieme a degli strumenti standard che li sfruttano nell'implementazione dei compilatori. Il corso mostra l'applicazione di tali strumenti alla realizzazione di un compilatore da un semplice linguaggio di programmazione imperativo a un linguaggio macchina per un processore a registri.

Programma del corso

• Le fasi di un compilatore.
• Un semplice linguaggio imperativo: Tiger.
• Analisi lessicale.
• Automi a stati finiti.
• Uno strumento per l'analisi lessicale: JLex.
• Analisi sintattica.
• Grammatiche LR(k).
• Uno strumento per l'analisi sintattica: Cup.
• Sintassi astratta.
• Analisi semantica.
• Generazione del codice intermedio.
• Selezione delle istruzioni.
• Analisi di liveness.
• Analisi dataflow.
• Ottimizzazione dei cicli.

Testi di riferimento

• Andrew W. Appel: ``Modern Compiler Implementation in Java''. Cambridge University Press.

Modalità d'esame

L'esame è formato da un progetto, uno scritto e un orale. Il progetto consiste in una modifica del compilatore per Tiger descritto durante il corso.