Compléments de théorie de la compilation

ULB-INFO-014 -- Jean-Eric Waroquier -- 30-00-00 -- Cours de 3ème cycle

Objectif

Etude des algorithmes d'analyse sémantique d'un programme et de génération de code machine équivalent, étant donné le modèle d'exécution d'un langage algorithmique. Ceci contribue à une utilisation plus rationnelle des langages de programmation et des compilateurs.

Prérequis

• architecture des ordinateurs, principalement des unités de traitement
• algorithmes et structures de données (par exemple, algorithmes de traitement d'arbres, de graphes)
• notions de systèmes de conduite (operating systems) et de parallélisme (programme multitâches)
• analyse "context-free" des langages (par exemple, théorie des compilateurs I)

Contenu

Introduction - Generation de code pour expressions arithmétiques - Modèle d'exécution des langages algorithmiques - Analyse sémantique - Grammaires attribuées - Visibilité (scoping) - Types - Organisation de la mémoire - Réprésentation des valeurs - Organisation de la pile - Organisation du "heap" (garbage collection) - Génération de code intermédiaire - Génération de code machine - Allocation des régistres.

Pédagogie

30-0-0, à savoir, 30 heures de théorie, pas d'exercices ni de travaux.

Examen oral: présentation d'un article sélectionné dans la littérature spécialisée traitant d'une technique de compilation avancée.

Références

39
A.V. Aho, R. Sethi, J. Ullman; Compilers Principles, Techniques and Tools Addison-Wesley, 1986.
40
Y. Boreux, R. Demey, J. Gombert, A. Huret, E. Lahou, S. Peijffers, J.-E. Waroquier (authors) P. Branquart (Lecturer) Lecture Notes on Compiler Techniques, 1983.
41
P. Branquart; Generalities on Algorithmic Languages, Manuscript M143 Philips Research Laboratory, 1986.
42
P. Briggs; Register Allocation via Graph Coloring Rice University, 1992.
43
C.N. Fischer, R.J. LeBlanc; Crafting a Compiler Benjamin Cummings, 1988.
44
B. Lorho (editor); Methods and Tools for compiler construction Cambridge University Press, 1984.
45
W. Waite, G. Goos; Compiler Construction Springer-Verlag, 1984.
46
R. Wilhelm, D. Maurer; Compiler Design Addison-Wesley, 1995.
47
M. Wolfe; Analysis and Optimization for Modern Architecture Oregon Graduate Institute, 1993.
48
M. Wolfe; Advanced Analysis and Optimizing for Parallellism Oregon Graduate Institute, 1993.