Langages de programmation et compilation 2018-2019

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

• Cours 1 (21 septembre 2018) : Mise à niveau OCaml
  • transparents
  • code OCaml de la démo : wall.ml
  • Il y a un polycopié spécifique pour ce premier cours. (Version à l'italienne si vous souhaitez l'imprimer.)

• Cours 2 (28 septembre 2018)
• Cours 3 (5 octobre 2018)
• Cours 4 (12 octobre 2018)
• Cours 5 (19 octobre 2018)
• pas de cours les vendredis 26 octobre et 2 novembre
• Cours 6 (9 novembre 2018)
• Cours 7 (16 novembre 2018)
• Cours 8 (23 novembre 2018)
• Cours 9 (30 novembre 2018)
• Cours 10 (7 décembre 2018)
• Cours 11 (14 décembre 2018)
• Cours 12 (21 décembre 2018)
• Cours 13 (11 janvier 2019)

TD

• TD 1 (21/26 sep) : Mise à niveau OCaml
• TD 2 (28 sep/4 oct)
• TD 3 (5/11 oct)
• TD 4 (12/18 oct)
• TD 5 (19 oct/8 nov)
• pas de TD les 25-26 octobre ni les 1-2 novembre
• TD 6 (9/15 nov)
• TD 7 (16/22 nov)
• TD 8 (23/29 nov)
• TD 9 (30 nov/6 déc)
• TD 10 (7/13 déc)
• TD 11 (14/20 déc)
• TD d'aide au projet vendredi 21 décembre
• TD 12 (11/17 jan)

Examen

Les notes de cours manuscrites ou reprographiées sont les seuls documents autorisés.

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é) / janvier 2018 (corrigé)

Projet

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.)
  • le site godbolt.org permet de comparer facilement le code assembleur produit par de nombreux compilateurs

• OCaml : vous trouverez de nombreuses ressources sur ocaml.org.
  Pour travailler à l'ENS ou sur vos machines, voici quelques suggestions d'environnement de travail OCaml.

• Menhir, un outil d'analyse syntaxique (manuel)
  On peut l'installer avec opam.

• 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

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