Corso di Laurea Specialistica in Informatica

Compilatori 2009/2010

Indice

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
  • bootstrapping
• Labelled BNF Grammar Formalism
  • il tool BNFC (IMPY, esempio simile a quello fatto a lezione [11 nov 09], un prototipo per OCL 2.0)
• 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
  • Generatori di Analizzatori Sintattici (Happy, Yacc, ...). Miglioramento del prototipo BNFC di IMPY [15 dic 09]
  • Parsing top-down (Esempi Haskell)
  • Parsing bottom-up (SLR,LR,LALR)
• Syntax Directed Translation
  • Grammatiche ad Attributi
  • S-attributed e L-attributed SDD
• Semantica Statica
  • Type Systems
  • Type Checking via Attributed Grammars (Parser con controlli di semantica statica ad attributi per IMPY)
• 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

• A. V. Aho, M. S. Lam, R. Sethi, J. D. Ullman. Compilers: Principles, Techniques, and Tools. ISBN 0-321-48681-1. Pearson Education, 2006.
• Under costruction

Articoli (e materiale di riferimento reperibile in rete)

• L. Cardelli Type systems. ACM Computing Surveys, 28(1), 1996.
• Under costruction