Corso di Laurea Specialistica in Informatica
Compilatori 2009/2010
pagina aggiornata il
16-06-2010
Indice
Finalità del corso
Programma
Bibliografia
Finalità del corso
Under costruction
Prerequisiti
- Nozioni base su Macchine Astratte, Grammatiche e Alberi di Parsing
(condizione sufficiente è l'inizio del corso di Linguaggi
1)
Programma preliminare
- Introduzione alla struttura dei compilatori
- Labelled BNF Grammar Formalism
- introduzione alla Syntax Directed Translation
- Analisi lessicale
- Grammatiche Regolari
- Espressioni Regolari
- Generatori di Analizzatori Lessicali (Lex
+ esempi,
Alex + esempi,
esempi a lezione
1,
2,
3).
- Automi riconoscitori (NFA,DFA,minimizzazione)
- Analisi sintattica
- Syntax Directed Translation
- Grammatiche ad Attributi
- S-attributed e L-attributed SDD
- Semantica Statica
- Generazione di Codice Intermedio (three address code)
- Traduzione espressioni con accessi in array
- Traduzione Control flow: eager/lazy
conditionals
- Control flow non ottimizzato. Tecnica fall-through.
Back Patching.
- Continuation Passing-Style in Haskell. Gestione break/continue.
- Procedure
Bibliografia
Libri
Articoli (e materiale di riferimento reperibile in rete)
- L. Cardelli Type
systems. ACM Computing Surveys, 28(1), 1996.
- Under costruction