Programma |
Dati del corso |
|
Crediti: |
5 |
Corsi di Laurea: |
Ingegneria Informatica |
Contenuti essenziali: |
Introduzione alla progettazione e allo sviluppo dei compilatori
(4h) Linguaggi formali e Traduttori (26h) : teoria dei linguaggi e grammatiche, linguaggi deterministici, trattamento degli errori sintattici, traduzioni sintattiche, grammatiche ad attributi, valutazione degli attributi, cenni sulla semantica denotazionale. Aspetti tecnologici (22h) : generazione automatica di analizzatori lessicali e sintattici, gestione della symbol table, ambienti di esecuzione, generazione di codice. |
Riferimenti bibliografici: |
K. D. Cooper, L. Torczon - Engineering a Compiler - Morgan Kaufmann 2004. D. Grune, H. E. Bal, C. J. H. Jacobs, K. G. Langendoen - Modern Compiler Design - Wiley 2000. A. Aho, R. Sethi, J.D. Ullmann - Compilers: Principles, Techniques and Tools - Addison Wesley 1986. Crespi Reghizzi Stefano, Della Vigna Pier Luigi, Ghezzi Carlo - Linguaggi formali e compilatori - Isedi 1985. Crespi Reghizzi Stefano - Le grammatiche ad attributi : semantica dei linguaggi artificiali - Isedi 1996. |
Programma |