Cours de Compilation: 2004/2005

Cours de Compilation: 2004/2005
Ma trised’Informatique
Paris VII
Roberto Di Cosmo
e-mail: roberto@dicosmo.org
WWW:http://www.dicosmo.org
ModalitØs du cours
I Nb cours :
12 (vendredi de 14h30 16h30 en Amphi 34A)
I Nb TD : 12 (dØbut la semaine du 11 Octobre)
I ChargØs de TD :
Vincent Balat, Juliuz Chroboczeck, Alexandre Miquel
Lundi 16h30-18h30 (J6), Mardi 12h30-14h30 (J4 et J7), Jeudi 16h30-18h30 (J8)
I Partiel projet : mi-dØcembre
I Soutenance projet : n dØcembre
I Examen nal : entre le lundi 17 janvier 2005 et le samedi 5 fØvrier 2005
I Note Janvier :
1 1note projet + exam Janvier
2 2
I Note Septembre :
1 1note projet + exam Septembre
2 2
Checklist
I inscrivez-vous tout de suite sur la mailing list:
http://ufr.pps.jussieu.fr/wws/info/m1-0405-compilation
I marquez la page web du cours dans vos signets:
http://www.dicosmo.org/CourseNotes/Compilation/
I commencez reviser OCaml
I re echissez la composition des groupes pour le projet (maximum 3 personnes)
1Plan du cours
1. Notions prØliminaires : structure d’un compilateur (front-end, back-end, coeur),
description de la machine cible assembleur (RISC 2000)
2. Mise niveau Ocaml faite exclusivement en TP (langage disponible librement
par ftp depuis l’Inriaftp.inria.fr)
3. Analyse lexicale et syntaxique :
bref rappel sur Lex, Ocamllex, Yacc, Ocamlyacc
4. Arbre de syntaxe abstraite :
structure et reprØsentation
5. Analyse statique : typage (rappels)
6. Structure de la machine d’ØxØcution pour un langage a blocs
7. Pile des ...