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