TECNICHE DI COMPILAZIONE AVANZATA

PROGRAMMA DEFINITIVO - A.A. 1999-00

Parte prima: Metodologie di analisi

 

 
 

 

 

Parte seconda: Tecniche di ottimizzazione

 

 

 

 

 

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

 

Materiale Didattico

Parte prima:

[NNH] Flemming Nielson, Hanne Riis Nielson, Chris Hankin "Principles of program Analysis" Springer, Ottobre 1999.

[TMA] S. Thesing, F. Martin, M. Alt, PAG user's Manual, Version 1.0, Settembre 1998. Reperibile in /usr/local/PAG/DOCU (paperino.di.unipi.it)

Parte seconda:

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

[BGS] D.Bacon, S. Graham, O. Sharp "Compiler Transformation for High-Performance Computing" ACM Computing surveys, Vol. 26, No. 4, Dicembre 1994.

[W] M. 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.