CSC_52064 : Compilation

Présentation

plan du cours

Cours

• Introduction (5 janvier 2026)
  • en français
  • in English

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

• Cours 2 (12 janvier 2026) : Syntaxe abstraite, sémantique et interprète
• Cours 3 (jeudi 22 janvier 2026) : Analyse lexicale et syntaxique
• Cours 4 (26 janvier 2026) : Typage
• Cours 5 (2 février 2026) : Modes de passage
• Cours 6 (9 février 2026) : Objets et fermetures
• Cours 7 (16 février 2026) : Compilateur optimisant 1/2
• Cours 8 (23 février 2026) : Compilateur optimisant 2/2
• Cours 9 (9 mars 2026) : Allocation mémoire

TD

• TD 1 : Assembleur x86-64
  • en français
  • in English
• TD 2 : Interprète mini-Python
  • en français
  • in English

Projet

Examen

Archives :

• mars 2025 : sujet / corrigé
• mars 2024 : sujet / corrigé
• mars 2023 : sujet / corrigé
• mars 2022 : sujet / corrigé
• mars 2021 : sujet / corrigé

Ressources

Environnement de travail

• de compiler du code assembleur x86-64 (TD 1 + fin du projet) ;
• de compiler du code OCaml (à 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
  • apprendre OCaml
    • des notes de mise à niveau OCaml
    • en anglais : le livre Learn Programming with OCaml
  • vous trouverez de nombreuses ressources sur ocaml.org
  • documentation d'ocamllex
  • Menhir, un outil d'analyse syntaxique plus puissant qu'ocamlyacc (manuel)

• 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

Dictionnaire

• un dictionnaire français-anglais (également à la fin du polycopié)