Cette page contient les nouvelles et support de la premiere partie du cours du 2eme semestre 2005/2006 intitulé « Compilation Avancée » qui s'adresse aux étudiants de master de l'UPMC.
La description de la brochure du module se trouve ici.

• Nouvelles fraîches
• Notes de cours, TD et TME
• Equipe pédagogique
• Groupes
• Examens
• Bibliographie
• Autres liens

Nouvelles fraîches

• notes sur DBUFR de l'examen de septembre;
• consultation des copies (1ere partie), lundi 11 septembre 2006 batiment 31 salle 305 (sinon prenez rendez-vous avec les enseignants)
• examen le 5 septembre 2006 de 8h30 à 10h30 (bat 31 salle 316)
• notes d'examen publiees sur DBUFR
• consultation des copies mardi 04/07/06 à 16h30 à 17h15 (12 rue Cuvier - ACSI - 1er etage - sallle en face du secretariat
• examen le 20 juin 2006 de 8h30 à 10h30
• liste des projets rendus de la 1ere partie
• à partir du 2 mai 2006, les cours auront lieu à l'amphitheatre Astier (batiment Esclangon).
• il y aura cours/TD/TME mardi 25 avril 2006
• énoncé de devoir de programmation au cours 4 (mardi 2 mai)
• pas de cours/TD/TME mardi 04 avril 2006
• pas de cours/TD/TME mardi 28 mars 2006
• pas de cours/TD/TME mardi 21 mars 2006
• pas de cours/TD/TME mardi 14 mars 2006 (lien P6, lien P7, lien aeip6)
• pas de cours/TD/TME mardi 07 mars 2006 (voir lien)
• pas de cours/TD/TME mardi 28 fevrier 2006
• 1er TD et TME le mardi mardi 21 février 2006
• 1er cours le mardi 14 février 2006

Notes de cours, TD et TME

• projet partie 1 (lien)
• TD-TME 5 : implantation en C de structures de controle de haut niveau (en PDF)
• Cours 5 : structures de controle de haut niveau (en PDF)
• TD-TME 4 : représentation des données et gestion mémoire (en PDF)
• Cours 4 : gestion automatique de mémoire (GC) (chapitre 9 de DA-OC)
• TD_TME 3 : représentation des données, compilation des expressions et des valeurs fonctionnelles (fermetures)
  TD3 en PDF, TME3, distribution version experimentale ml2java (à compiler et à tester)
• Cours 3 : compilation d'un noyau fonctionnel (mini-ML) vers les modeles objet et impératif (en PDF)
• TD_TME 2 : extension de la machine de Krivine, implantation de la CAM (lien), extension de la machine.
• Cours 2 : compilation interprétation et bootstrap
  machines abstraites : impérative, fonctionnelle, objet et logique
  exemple : machine de Krivinne (en PDF, programme ml), (rappel de lambda-calcul)
• TD-TME 1 : lien

  des fichiers solutions en C :

  • reg-expr : ex-regex.c
  • nombres : ex-flex.l
  • commentaires : suppresion.l en lex
  • ifthenelse : ifthenelse.l, ifthenelse.y
• Cours 1 : généralités; analyses lexicales et syntaxiques (chapitre 2 du polycopié de G. Cousineau, chapitre 6 du polycopié de Jacques Malenfant, chapitre 11 de DA-OC).

Équipe pédagogique

L'équipe pédagogique est ainsi constituée: Emmanuel Chailloux, Nathalie Drach-Temam, Karine Heydmann, Tong Lieu, Philippe Trebuchet

Pour envoyer un courier à l'équipe pédagogique, cliquez ici.

Groupes

Voici les horaires provisoires des groupes

• groupe 1 :
  • Cours : mardi 8h30-10h30, salle 301, aile 24-25
  • TD : mardi 11h-130, salle 313, bat 41
  • TME : mardi 13h30-15h30, salle 304 et/ou 312, bat 31

Examens et notation

La note de module est formée à 60% par l'examen final et à 40% par la note de contrôle continu. La note du CC comprend deux notes de devoir de programmation.

Bibliographie

• Analyses lexicale et syntaxique

  • Aho, Sethi, Ullman : Compilateurs : principes; techniques et outils

  • Levine, Mason, Brown : lex & yacc, O'Reilly

  • camlp4 : le manuel de référence, un tutorial et un autre tutorial

• sur C et Objective Caml

  • Harbison - Steele. C: A Reference Manual (2002)

  • Xavier Leroy et al. The Objective Caml system : documentation and user's manual (cf lien)

  • Emmanuel Chailloux, Pascal Manoury et Bruno Pagano. Développement d'Applications avec Objective Caml. O'Reilly, 2000 (cf lien)

• sur les machines abstraites :
• sur les GC :
• sur les exceptions :
• sur la génération de code
• sur les transformations de programmes

Autres liens

• Cours P6 : Compilation (L3), de XML aux arbres (L3), Implantation des langages (M1 S1)
• Cours P7 : Analyse et compilation (L3) (polycopié), Compilation (M1)
• Cours P11 : Compilation (M1), projet de compilation (M1)

• des sites d'outils : lien1

---

Remarques?    dernière modification : 11/09/2006