Langages de programmation et compilation 2011-2012

• Cours le jeudi de 16h45 à 19h00 en salle R
• TDs le mercredi de 16h30 à 18h30 en salle INFO 4 NIR avec Louis Mandel
  (attention : les TDs 2, 3 et 8 ont lieu mardi et non mercredi)
• Évaluation : un examen + un projet

Cours

• Cours 1 (29 septembre 2011) : Mise à niveau Ocaml
  • transparents : un par page (pour visualiser) / quatre par page (pour imprimer)

• Cours 2 (6 octobre 2011) : Aperçu de la compilation / Assembleur MIPS
  • transparents (pour visualiser) / quatre par page (pour imprimer)
  • à propos du problème des N-reines :
    • le code C / le code MIPS
    • de la lecture : Henry S. Warren Hacker's Delight

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

• Cours 4 (20 octobre 2011) : Typage
  • transparents (pour visualiser) / quatre par page (pour imprimer)

• pas de cours le 27 octobre 2011

• Cours 5 (3 novembre 2011) : Analyse lexicale
  • transparents (pour visualiser) / quatre par page (pour imprimer)

• Cours 6 (10 novembre 2011) : Analyse syntaxique
  • transparents (pour visualiser) / quatre par page (pour imprimer)

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

• Cours 8 (24 novembre 2011) : Compilation des langages objets
  • transparents (pour visualiser) / quatre par page (pour imprimer)

• Cours 9 (1er décembre 2011) : Compilation des langages fonctionnels
  • transparents (pour visualiser) / quatre par page (pour imprimer)

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

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

TD

• TD 1 (mercredi 5 octobre 2011) : Mise à niveau Caml
• TD 2 (mardi 11 octobre 2011 à 13h30) : Assembleur MIPS
• TD 3 (mardi 18 octobre 2011 à 13h30) : Interprète mini-Pascal
• TD 4 (mercredi 26 octobre 2011) : Algorithme W
• pas de TD le 2 novembre
• TD 5 (mercredi 9 novembre 2011) : Construction d'automates déterministes à partir d'expressions régulières
• TD 6 (mercredi 16 novembre 2011) : Analyse descendante
• TD 7 (mercredi 23 novembre 2011) : Aide au projet
• TD 8 (mardi 6 décembre 2011) : GC stop & copy
• TD 9 (mercredi 7 décembre 2011) : Aide au projet
• TD 10 (mercredi 14 décembre 2011) : Coloriage de graphe
• TD 11 (mercredi 4 janvier 2012) : Aide au projet
• TD 12 (mercredi 11 janvier 2012) : Aide au projet

Examen

Les notes de cours manuscrites ou reprographiées sont les seuls documents autorisés.

Archives : janvier 2009 / janvier 2010 / janvier 2011 / janvier 2012

Projet

Quelques tests sont fournis (les télécharger : tests-7-dec.tar.gz).

Le projet est à rendre pour le vendredi 13 janvier, avant minuit.

Liens / Bibliographie

• SPIM, un simulateur MIPS (manuel : Assemblers, Linkers, and the SPIM Simulator)
• MARS, un autre simulateur MIPS (à installer par vous-mêmes)
• Menhir, un outil d'analyse syntaxique (manuel)

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