Langages de programmation et compilation 2022-2023
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)
- 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 (30 septembre 2022) : aperçu de la compilation / assembleur x86-64
- Cours 2 (7 octobre 2022) : syntaxe abstraite / sémantique / interprètes
- Cours 3 (14 octobre 2022) : analyse lexicale
- Cours 4 (21 octobre 2022) : analyse syntaxique 1/2
- Cours 5 (28 octobre 2022) : analyse syntaxique 2/2
- pas de cours les vendredis 4 novembre
(vacances Toussaint) et 11 novembre (férié)
- Cours 6 (18 novembre 2022) : typage
- Cours 7 (25 novembre 2022) : mode de passage des paramètres
- Cours 8 (2 décembre 2022) : compilation des langages fonctionnels
- Cours 9 (9 décembre 2022) : compilation des langages objets
- Cours 10 (16 décembre 2022) : compilateur optimisant, partie 1
- Cours 11 (6 janvier 2023) : compilateur optimisant, partie 2
- Cours 12 (13 janvier 2023) : 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 C,
avec une extension GNU C,
les
fonctions imbriquées.
Sujet (version 4 - 22 novembre 2022)
Important : Le projet contient une
partie optionnelle. La partie non optionnelle est notée sur 16.
Quelques tests sont fournis
(les télécharger
: tests-18-nov.tgz).
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). Ajouter b
(c'est-à-dire 1b, 2b ou 3b pour tester
également la partie optionnelle du projet.)
Un module OCaml est fourni pour construire du code x86-64 :
x86_64.ml
/ x86_64.mli /
documentation /
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 11 décembre 18:00 ;
- partie 2 (projet complet, avec production de code) pour le
dimanche 15 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, while, for), fonctions, fonctions imbriquées.
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 20 janvier
de 8h30 à 11h30 en salle W.
Les notes de cours manuscrites ou reprographiées sont les seuls
documents autorisés.
Archives :
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
|
2 | Assembly | Bryant & O'Hallaron 3
|
3 | Semantics | Pierce 3-4-5
|
4 | Typing | Pierce 8-9-10 et 22
|
5 | Lexical analysis | Dragon 3
|
6-7 | Syntactic analysis | Dragon 4
|
11 | 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