TECNICHE DI COMPILAZIONE AVANZATA

A.A. 1999-00

PROGRAMMA DETTAGLIATO DEL CORSO

 

Parte prima: Metodologie di analisi

Parte seconda: Tecniche di ottimizzazione

Modalità di esame Progetto + orale (l'orale comprende la discussione del progetto + tutto il programma del corso)

Materiale Didattico

Parte prima:

Flemming Nielson, Hanne Riis Nielson, Chris Hankin "Principles of program Analysis" Springer, Ottobre 1999

Parte seconda:

A.Appel "Modern compiler implementation in Java " Cambridge University Press, Cambridge University Press,1998

Michael Wolfe "High performance Compilers for Parallel Computing", 1996, Addison-Wesley.

Testi di consultazione

Aho, Sethi, Ullman "Compilers: Principles, Techniques and Tools", Addison-Wesley.

Robert Morgan "Building an Optimizing Compiler", 1998, Digital Press.

Steven Muchnik "Advanced Compiler Design and Implementation",
Morgan e Kauffmann 1997