Langages de programmation et compilation 2024-2025
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 (27 septembre 2024) : aperçu de la compilation / assembleur x86-64
- Cours 2 (4 octobre 2024) : syntaxe abstraite / sémantique / interprètes
- Cours 3 (11 octobre 2024) : analyse lexicale
- Cours 4 (18 octobre 2024) : analyse syntaxique 1/2
- Cours 5 (25 octobre 2024) : analyse syntaxique 2/2
- pas de cours le vendredi 1er novembre
(vacances Toussaint)
- Cours 6 (8 novembre 2024) : typage
- Cours 7 (15 novembre 2024) : mode de passage des paramètres
- Cours 8 (22 novembre 2024) : compilation des langages fonctionnels
- Cours 9 (29 novembre 2024) : compilation des langages objets
- Cours 10 (6 décembre 2024) : compilateur optimisant, partie 1
- Cours 11 (13 décembre 2024) : compilateur optimisant, partie 2
- Cours 12 (20 décembre 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 :
- TD 1 (27 sep/3 oct)
- TD 2 (4/10 oct)
- TD 3 (11/17 oct)
- TD 4 (18/24 oct)
- TD 5 (25 oct/7 nov)
- pas de TD les 31 octobre et 1er novembre (vacances Toussaint)
- TD 6 (8/14 nov)
- TD 7 (15/21 nov)
- TD 8 (22/28 nov)
- TD 9 (29 nov/5 déc)
- TD 10 (6/12 déc)
- TD 11 (13/19 jan)
- TD 12 (20 déc/9 jan)
Projet
Le sujet du projet sera donné plus tard.
Examen
L'examen aura lieu le vendredi 24 janvier
de 8h30 à 11h30 en salle E. Noether.
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