Langages de programmation et compilation

• Cours le jeudi de 16h45 à 19h00 en salle U/V
• TDs le mercredi de 16h30 à 18h30 en salle INFO 03
• Évaluation : un examen + un projet

Cours

• Cours 1 (25 septembre 2008) : Mise à niveau Caml
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)
  • polycopié Mise à niveau Caml (sera distribué en cours)

• Cours 2 (2 octobre 2008) : Aperçu de la compilation / Assembleur MIPS
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 3 (9 octobre 2008) : Syntaxe abstraite / Sémantique / Interpréteurs
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 4 (16 octobre 2008) : Typage
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 5 (23 octobre 2008) : Analyse lexicale
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 6 (30 octobre 2008) : Analyse syntaxique
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• pas de cours le 6 novembre 2008

• Cours 7 (13 novembre 2008) : Compilation des langages impératifs
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 8 (20 novembre 2008) : Compilation des langages fonctionnels
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 9 (27 novembre 2008) : Compilation des langages objets
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 10 (4 décembre 2008) : Production de code efficace, partie 1
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 11 (11 décembre 2008) : Production de code efficace, partie 2
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

TD

• TD 1 (1 octobre 2008) : Mise à niveau Caml
• TD 2 (8 octobre 2008) : Assembleur MIPS
• TD 3 (15 octobre 2008) : Interprète mini-Pascal
• TD 4 (22 octobre 2008) : Algorithme W
• pas de TD le 29 octobre
• TD 5 (5 novembre 2008) : Construction d'automates déterministes à partir d'expressions régulières
• TD 6 (12 novembre 2008) : Analyse descendante
• TD 7 (19 novembre 2008) : Aide au projet
• TD 8 (26 novembre 2008) : GC stop & copy
• TD 9 (3 décembre 2008) : Aide au projet
• TD 10 (10 décembre 2008) : Coloriage de graphe
• TD 11 (17 décembre 2008) : Aide au projet
• TD 12 (7 janvier 2009) : Aide au projet

Examen

Projet

• Petit Caml (v3)
  historique :
  • v3 (21 novembre) :
    • _ n'est pas un identificateur (mais un motif)
    • une typo dans la règle de typage du n-uplet
    • typos dans les règles de grammaire (:= au lieu de ::=)
  • v2 (17 octobre)
    • deux petites typos dans les règles de typage
  • v1 (8 octobre)
    • version initiale
• à rendre pour le jeudi 15 janvier

Liens / Bibliographie

• SPIM (manuel : Assemblers, Linkers, and the SPIM Simulator)
• Menhir (manuel)

• Andrew A. Appel Modern Compiler Implementation in ML
• Benjamin C. Pierce Types and Programming Languages