Dettagli sull'Insegnamento per l'A.A. 2012/2013

Prerequisiti

Il corso richiede come pre-requisiti una conoscenza delle nozioni base della teoria dei linguaggi formali e della programmazione.

Obiettivi

Nel corso viene illustrata la struttura dei compilatori e le principali metodologie impiegate nelle varie fasi del processo di compilazione. L'obiettivo è quello di preparare gli studenti allo sviluppo di progetti software riguardanti la costruzione di parti di compilatore con l’ausilio di strumenti quali Lex e Yacc.

Sillabo

• Elementi di teoria di linguaggi formali. Introduzione ai compilatori: il modello analisi-sintesi, fasi della compilazione, interpreti
• Architettura e ruolo dell'analizzatore lessicale: tokens-patterns-lessemi, buffering dell'input, algoritmo di Thompson
• LEX: architettura software e sintassi
• Analisi sintattica: parsing top-down, parsing bottom-up. Parsing predittivo non ricorsivo
• Parsing LR: tecniche SLR, LALR, LR canonica
• Gerarchia di grammatiche LR e gestione di grammatiche ambigue
• YACC: architettura software e sintassi
• Traduzione guidata dalla sintassi. Definizioni dirette dalla sintassi: attributi ereditati e sintetizzati, definizioni con S-attributi, definizioni con L-attributi
• Schemi di traslazione. Analisi semantica e type checking
• Generazione di codice intermedio. Three-address code: sintassi ed esempi di generazione

Testi di riferimento

• A.V. Aho, R. Sethi, J.D. Ullmann, Compilers, principles, techniques and tools , Addison-Wesley, Reading, Mass.    

Modalità d'esame

prova scritta (parziale + finale) sugli argomenti trattati nel corso

Risorse Internet

Aggiornamenti alla pagina del corso

• A.A. 2011/2012
• A.A. 2012/2013
• A.A. 2013/2014
• A.A. 2014/2015
• A.A. 2015/2016
• A.A. 2016/2017
• A.A. 2017/2018
• A.A. 2018/2019
• A.A. 2019/2020