Langages de programmation et compilation 2009-2010
Jean-Christophe Filliâtre
- Cours le jeudi de 16h45 à 19h00 en salle U/V
- TDs le mercredi de 16h30 à 18h30 en salle INFO 4 NIR
- Évaluation : un examen + un projet
Cours
Les cours commencent le jeudi 1er octobre 2009.
- Cours 1 (1er octobre 2009) : Mise à niveau Ocaml
- Cours 2 (8 octobre 2009) : Aperçu de la compilation / Assembleur MIPS
- Cours 3 (15 octobre 2009) : Syntaxe abstraite / Sémantique / Interpréteurs
- Cours 4 (22 octobre 2009) : Typage
- pas de cours le 29 octobre 2009
- Cours 5 (5 novembre 2009) : Analyse lexicale
- Cours 6 (12 novembre 2009) : Analyse syntaxique
- Cours 7 (19 novembre 2009) : Compilation des langages impératifs
- Cours 8 (26 novembre 2009) : Compilation des langages fonctionnels
- Cours 9 (3 décembre 2009) : Compilation des langages objets
- Cours 10 (10 décembre 2009) : Production de code efficace, partie 1
- Cours 11 (17 décembre 2009) : Production de code efficace, partie 2
TD
- TD 1 (7 octobre 2009) :
Mise à niveau Caml
- TD 2 (14 octobre 2009) :
Assembleur MIPS
- TD 3 (21 octobre 2009) :
Interprète mini-Pascal
- pas de TD le 28 octobre
- TD 4 (4 novembre 2009) :
Algorithme W
- pas de TD le 11 novembre
--> TD 5 libre :
Construction d'automates déterministes à partir d'expressions régulières
- TD 6 (18 novembre 2009) :
Analyse descendante
- TD 7 (25 novembre 2009) :
Aide au projet
- TD 8 (2 décembre 2009) :
GC stop & copy
- TD 9 (9 décembre 2009) :
Aide au projet
- TD 10 (16 décembre 2009) :
Coloriage de graphe
- TD 11 (6 janvier 2010) :
Aide au projet
- TD 12 (13 janvier 2010) :
Aide au projet
Examen
Archives : janvier 2009 /
janvier 2010
Projet
Sujet : Mini Modules (version 1c - 19
novembre 2009)
Des tests sont fournis.
Liens / Bibliographie
Outils
Ouvrages
Some help for foreign students not yet fluent
in French
Remerciements : merci à Christine Paulin, François Pottier et
Xavier Leroy pour leur aide dans la préparation de ce cours