Langages de programmation et compilation 2023-2024
Jean-Christophe Filliâtre
Cours donné aux élèves de première année à
l'École Normale Supérieure.
- Cours le vendredi de 8:30 à 10:30 en salle
E. Noether (ex U ou V)
(voir moodle)
- TDs le jeudi ou le vendredi, de 10h45 à 12h15 en salles INFO 3 NIR
avec Jérôme Boillot
- Évaluation : un examen + un projet
Cours
Séances :
- Cours 1 (29 septembre 2023) : aperçu de la compilation / assembleur x86-64
- Cours 2 (6 octobre 2023) : syntaxe abstraite / sémantique / interprètes
- Cours 3 (13 octobre 2023) : analyse lexicale
- Cours 4 (20 octobre 2023) : analyse syntaxique 1/2
- Cours 5 (27 octobre 2023) : analyse syntaxique 2/2
- pas de cours le vendredi 3 novembre
(vacances Toussaint)
- Cours 6 (10 novembre 2023) : typage
- Cours 7 (17 novembre 2023) : mode de passage des paramètres
- Cours 8 (24 novembre 2023) : compilation des langages fonctionnels
- Cours 9 (1er décembre 2023) : compilation des langages objets
- Cours 10 (8 décembre 2023) : compilateur optimisant, partie 1
- pas de cours le vendredi 15 décembre
- Cours 11 (22 décembre 2023) : compilateur optimisant, partie 2
- Cours 12 (12 janvier 2024) : allocation mémoire
TD
Il y a deux groupes de TD (en alternance avec les TD d'algo) :
- groupe 1 le vendredi 10h45 - 12h15
- groupe 2 le jeudi (de la semaine suivante) 10h45 - 12h15
Séances :
Projet
Cette année, on compile un sous-ensemble du
langage Purescript.
Sujet (version 5 - 14 décembre 2023)
Quelques tests sont fournis
(les télécharger
: tests-7-dec.tar.gz).
Ce script shell peut être utilisé pour
automatiser les tests, avec la syntaxe ./test -n
binaire-compilo où n vaut 1 (tests parseur), 2
(tests typage) ou 3 (tests production de code).
Un module OCaml est fourni pour construire du code x86-64 :
x86_64.ml
/ x86_64.mli /
télécharger.
Libre à vous de le compléter si besoin.
(Si vous choisissez de faire votre projet en Rust, il existe un module
similaire write_x86_64
écrit par Samuel Vivien, que je remercie.)
Le projet est à rendre en deux fois :
- partie 1 (analyse syntaxique et typage uniquement) pour le
dimanche 10 décembre 18:00 ;
- partie 2 (projet complet, avec production de code) pour le
dimanche 21 janvier 18:00.
Il est fortement conseillé de procéder construction par construction
que ce soit pour le typage ou pour la production de code, dans cet
ordre : affichage, arithmétique, variables, instructions
(if, case, do), fonctions, classes de types.
Le rapport rendu avec le projet doit notamment aider à la
compréhension du code du projet.
Il n'y a pas de soutenance de projet.
Examen
L'examen aura lieu le vendredi 26 janvier
de 8h30 à 11h30 en salle E. Noether.
Les notes de cours manuscrites ou reprographiées sont les seuls
documents autorisés.
Archives :
janvier 2024
(corrigé) /
janvier 2023
(corrigé) /
janvier 2022
(corrigé) /
janvier 2021
(corrigé) /
janvier 2020
(corrigé) /
janvier 2019
(corrigé) /
janvier 2018
(corrigé) /
janvier 2017
(corrigé) /
janvier 2016
(corrigé) /
janvier 2015
(corrigé) /
janvier 2014
(corrigé) /
janvier 2013
(corrigé) /
janvier 2012
(corrigé) /
janvier 2011
(corrigé) /
janvier 2010
(corrigé) /
janvier 2009
(corrigé)
Liens / Bibliographie
Outils
Cartes de référence
Ouvrages en rapport avec le cours
Ces trois ouvrages sont disponibles à la bibliothèque.
Le cours ci-dessus ne suit pas vraiment ces ouvrages.
Néanmoins, ce sont de très bons ouvrages, conseillés pour aller plus loin.
For foreign students not yet fluent in French
- A tiny French-English dictionary
- 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 | Lexical analysis | Dragon 3
|
| 4-5 | Syntactic analysis | Dragon 4
|
| 6 | Typing | Pierce 8-9-10 et 22
|
| 12 | Memory allocation
| Bryant & O'Hallaron 9
|
Remerciements : merci à Christine Paulin, François Pottier et
Xavier Leroy pour leur aide dans la préparation de ce cours