INF564 : Compilation

Présentation

plan du cours

Cours

• Introduction (9 janvier 2023)
  • en français
  • in English

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

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

• Cours 3 (23 janvier 2023) : Analyse lexicale et syntaxique
  • en français
  • in English

• Cours 4 (30 janvier 2023) : Typage
  • en français
  • in English

• Cours 5 (6 février 2023) : Modes de passage, objets
  • en français
  • in English

• Cours 6 (13 février 2023) : Production de code (1/3)
  • en français
  • in English

• Cours 7 (20 février 2023) : Production de code (2/3), fermetures, appels terminaux
  • en français
  • in English
• Cours 8 (6 mars 2023) : Production de code (3/3)
  • en français
  • 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/5 : Typage statique de mini-C
  • en Java
  • en OCaml
• TD 6 : Production de code RTL
  • en Java
  • en OCaml
• TD 7 : Production de code ERTL, analyse de durée de vie
  • en Java
  • en OCaml
• TD 8 : Production de code LTL, linéarisation
  • en Java
  • en OCaml

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

Examen

Archives :

• 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
  3	Syntactic analysis	Dragon 3-4
  4	Typing	Pierce 8-9-10 et 22
  5	Semantics	Pierce 3-4-5

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