TD de Compilation (INF 553)

Plan des séances

Vous trouverez ici les sujets des TD. Chaque TD consiste à comprendre et construire une brique supplémentaire du compilateur étudié en cours, afin d'obtenir un compilateur complet au dernier TD. Les TD suivent approximativement l'ordre des langages intermédiaires du compilateur :

OCaml

Ces TD supposent une bonne connaissance d'OCaml, le langage dans lequel le compilateur du cours est implémenté. Si besoin, voici un cours et quelques TD de remise à niveau en OCaml. Pour les curieux, voici un livre très poussé sur OCaml qui le situe par rapport aux autres langages (Hélàs non disponible à la bibliothèque de l'X !) et un livre en ligne de référence sur le développement en OCaml.

La librairie OCaml ? C'est avec la commande "man" ou en ligne.

Besoin de doc pendant les TD ? C'est par ici.

D'autres questions sur OCaml ? C'est par là.

Editeur

Vous pouvez choisir votre éditeur parmi ceux installés par défaut sur les machines de la salle info n°35 : vim, kwrite, emacs, xemacs, eclipse... Nous vous conseillons d'utiliser xemacs, pour lesquels un mode OCaml est disponible (coloration du code, indentation automatique...).

Premiers pas avec emacs ? C'est par ici.          Un aide-mémoire ? C'est par là.


TD 1 : Assembleur MIPS

(mercredi 16 janvier 2008)

TD 2 : Interprète Pseudo-Pascal

(mercredi 23 janvier 2008)

TD 3 : Analyse syntaxique

(mercredi 30 janvier 2008)

TD 4 : Sélection d'instructions

(mercredi 6 février 2008)

TD 5 : Expressions et registres

(mercredi 13 février 2008)

TD 6 : Traduction des appels

(mercredi 20 février 2008)

TD 7 : Analyse de durée de vie

(mercredi 5 mars 2008)

TD 8 : Allocation de registres

(mercredi 12 mars 2008)

TD 9 : Génération de code assembleur

(mercredi 19 mars 2008)