INF564 : Compilation

Présentation

plan du cours

Cours

• Introduction (8 janvier 2024)
  • en français
  • in English

• Cours 1 (8 janvier 2024) : Assembleur x86-64
  • en français
  • in English

• Cours 2 (15 janvier 2024) : Syntaxe abstraite, sémantique et interprète
  • en français
  • in English

• Cours 3 (jeudi 25 janvier 2024) : Analyse lexicale et syntaxique
  • en français
  • in English

• Cours 4 (29 janvier 2024) : Typage
  • in English

• Cours 5 (5 février 2024) : Modes de passage
  • in English

• Cours 6 (12 février 2024) : Objets et fermetures
  • in English

• Cours 7 (26 février 2024) : Compilateur optimisant 1/2
  • in English

• Cours 8 (4 mars 2024) : Compilateur optimisant 2/2
  • in English

• Cours 9 (11 mars 2024) : Allocation mémoire
  • in English

TD

• TD 1 : Assembleur x86-64
  • en français
  • in English
• TD 2 : Interprète mini-Python
  • en Java
  • en OCaml
• TD 3 : Analyse syntaxique de mini-Turtle
  • en Java
  • en OCaml
• TD 4-9 :
  • Project (Mini Python compiler)

Modalités de rendu et d'évaluation du projet

Tests pour le projet :

• README
• tests-6-jan.tar.gz
• test (bash script)

Examen

Archives :

• mars 2024 : sujet / corrigé
• mars 2023 : sujet / corrigé
• mars 2022 : sujet / corrigé
• mars 2021 : sujet / corrigé
• mars 2020 : examen annulé
• mars 2019 : sujet / corrigé
• mars 2018 : sujet / corrigé

Ressources

Environnement de travail

• de compiler du code assembleur x86-64 (TD 1 + fin du projet) ;
• de compiler du code Java ou OCaml, au choix (à partir du TD 2).

• Assembleur x86-64
  • le plus simple consiste à faire compiler le code assembleur par son compilateur C, par exemple gcc ; cf les instructions au début du TD 1
  • des ressources (en anglais) sur cette page d'Andrew Tolmach et en particulier ces notes
  • le fascicule x86-64 Machine-Level Programming de Bryant et O'Hallaron (en anglais)
  • le debugger gdb fonctionne sur du code assembleur x86-64 (exécution pas à pas, visualisation des registres, etc.) ; voir ce tutoriel (en anglais)
  • le site godbolt.org permet de comparer facilement le code assembleur produit par de nombreux compilateurs

• OCaml : outre le compilateur OCaml, vous aurez besoin d'ocamllex et de menhir.
  • pour travailler à l'X ou sur vos machines, voici quelques suggestions d'environnement de travail OCaml
  • des notes de mise à niveau OCaml
  • vous trouverez de nombreuses ressources sur ocaml.org
  • documentation d'ocamllex
  • Menhir, un outil d'analyse syntaxique plus puissant qu'ocamlyacc (manuel)

• Java : outre le compilateur Java, vous aurez besoin de JFlex et de Cup.
  • JFlex, un outil d'analyse lexicale
  • Cup, un outil d'analyse syntaxique

• pour les débutants : une brève introduction au terminal GNU/Linux et une brève documentation des commandes les plus utiles

Cartes de référence

• OCaml : langage / bibliothèque / outils
• Emacs : général / mode Tuareg pour OCaml

Ouvrages en rapport avec le cours

• Alfred V. Aho, Monica S. Lam, Ravi Sethi et Jeffrey D. Ullman Modern Compilers: Principles, Techniques, and Tools.
  Dit « le dragon ». Traduit en français (Compilateurs : principes, techniques et outils).
• Benjamin C. Pierce Types and Programming Languages
• Randal E. Bryant et David R. O'Hallaron Computer Systems: A Programmer's Perspective

For foreign students not yet fluent in French

• A tiny French-English dictionary (also in the appendix of the lecture notes)
• a rough correspondence between the lectures and chapters from the books above (which are in English):

  	Lecture	Chapters
  1	Assembly	Bryant & O'Hallaron 3
  2	Semantics	Pierce 3-4-5
  3	Syntactic analysis	Dragon 3-4
  4	Typing	Pierce 8-9-10 et 22

Note : Ce cours a été assuré entre 2005 et 2016 par François Pottier. Le matériel de ce cours est archivé ici.