Cette page contient les nouvelles et support de la premiere partie du cours du 2eme semestre 2020/2021 intitulé « Compilation Avancée » qui s'adresse aux étudiants de master de Sorbonne Université.

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

Nouvelles fraîches

• 1er cours le mardi 26 janvier 2021 à 10h45 - à distance
  invitation envoyée par courrier électronique

Notes de cours, TD et TME

• Cours 5 : structures de controle de haut niveau (en PDF)

• Cours 4 : gestion automatique de mémoire (GC) : transparents (chapitre 9 de DA-OC), description du GC Java et de ses options (lien)

• Cours 3 : implantation de machines virtuelles
  • la ZAM : (PDF) ;
  • documentation sur la ZAM (PDF) ;
  • ZAM sur microcontroleur : projet OMicrob
  • compilation d'un noyau fonctionnel (mini-ML) vers les modeles obj et et impératif (en PDF)

• Cours 2 : compilation interprétation et bootstrap, machines abstraites, virtuelles : impérative, fonctionnelle, objet et logique (PDF), sur les valeurs fonctionnelles)
  • machine de Turing (présentation),
  • (rappel de lambda-calcul au cours 1)
  • cours de L3 sur la machine MV_LU3IN018 (cours 8-10, le cours9 a pas mal d'exemples sur les valeurs fonctionnelles)

• TD et TME 1 : TD1

• Cours 1 : organisation et généralités, analyses lexicales et syntaxiques (PDF)
  

Équipe pédagogique

L'équipe pédagogique est ainsi constituée: Emmanuel Chailloux, Karine Heydmann, Darius Mercadier

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

Groupes

Voici les horaires provisoires des groupes

• groupe 1 :
  • Cours : mardi 10h45-12h45,
  • TD : jeudi 13h45-15h45,
  • TME : jeudi 16h-18h,

Examens et notation

La note de module est formée de 40% pour les deux devoirs (un devoir par partie comptant 20% chacun) et de 60% par l'examen final.

• des sujets récents et plus anciens de partiels et examens des années passées.

Bibliographie

• Analyses lexicale et syntaxique

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

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

  • site de Menhir

• sur C et OCaml

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

  • Xavier Leroy et al. The OCaml 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 (ancien L3), Compilation) (nouveau L3), de XML aux arbres (L3), Développement d'un langage de programmation (M1 S1)
• cours UdeM : compilation (Marc Feeley)
• des sites d'outils : lien1

---

Remarques?    dernière modification : 15/05/2021