Cours de Compilation 2008/2009
M1 informatique – Université Paris Diderot

2

Chapitre 1

Introduction
1.1 Détails pratiques

Emploi du temps – cours : mercredi de 12h30 à 14h30 en Amphi 4C (normalement) – TD/TP : début la semaine prochaine (en salle de TP) – Chargés de TD/TP : Jaap Boender, Mehdi Dogguy, Grégoire Henry

Contrôle des connaissances – Gros projet obligatoire par 3. – Note individuelle. – 1re partie à rendre en novembre – 2e partie et soutenance : début janvier 2010 – Examen final : janvier 2010 – Note Janvier : 1 note projet + 1 exam Janvier 2 2 1 – Session de rattrapage : 1 note projet + 2 exam Juin 2

Checklist – inscrivez-vous tout de suite sur la mailing list : https://sympa.mancoosi.univ-paris-diderot.fr/wws/info/m1-compilation – marquez la page web du cours dans vos signets : http://www.pps.jussieu.fr/~balat/compilation – commencez à réviser OCaml – Formez vite vos groupes pour le projet (maximum 3 personnes) 3

1.2 Généralités
1.2.1 Introduction : dictionnaire
Généralités : le terme « compilateur » compilateur (Le Petit Robert) « Personne qui réunit des documents dispersés » compilation (Le Petit Robert) « Rassemblement de documents » Mais le programme qui « réunit des bouts de code dispersés » s’appelle aujourd’hui un Éditeur de Liens (commande ld) Le terme « compilateur » On appelle « compilateur » une autre chose : com·pil·er (Webster) 1 : one that compiles 2 : a computer program that translates an entire set of instructions written in a higher-level symbolic language (as COBOL) into machine language before the instructions can be executed

1.2.2

Le cours

Ce cours « De l’AST à l’exécutable » Suite du cours Analyse et compilation de L3 Support de cours : Plan (provisoire) du cours 1. Notions préliminaires : structure d’un compilateur (front-end, back-end, cœur) 2. Description de la machine cible (MIPS R2000), Assembleur 3. Analyse lexicale et syntaxique : bref rappel sur Lex, OCamlLex, Yacc, OCamlYacc Arbre de