Langages de programmation et compilation 2016-2017

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 U ou V
TDs le jeudi ou le vendredi, de 10h30 à 12h15 en salle INFO 4 NIR avec Lélio Brun
Évaluation : un examen + un projet

Cours

Note : Une copie des transparents sera distribuée à chaque cours. Il est donc inutile d'imprimer les PDF ci-dessous.

TD

Examen

Archives : janvier 2009 (corrigé) / janvier 2010 (corrigé) / janvier 2011 (corrigé) / janvier 2012 (corrigé) / janvier 2013 (corrigé) / janvier 2014 (corrigé) / janvier 2015 (corrigé) / janvier 2016 (corrigé) / janvier 2017 (corrigé)

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.

Liens / Bibliographie

Outils

Assembleur x86-64
- 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 Nemiver fonctionne sur du code x86-64 (exécution pas à pas, visualisation des registres, etc.)
Assembleur MIPS
- simulateur MARS (conseillé)
- simulateur SPIM
- la documentation de SPIM, Assemblers, Linkers, and the SPIM Simulator, décrit notamment le jeu d'instructions
OCaml : vous trouverez de nombreuses ressources sur ocaml.org.
Pour ceux qui travaillent sous Windows : OCaml on Windows.
Menhir, un outil d'analyse syntaxique (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

Ces trois ouvrages sont disponibles à la bibliothèque. Le cours ci-dessus ne suit pas vraiment ces ouvrages. Néanmoins, se 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