Langages de programmation et compilation 2015-2016

• Cours le lundi de 13h à 15h en salle UV
• TDs le lundi et le vendredi, de 15h15 à 16h45 en salle INFO 4 NIR avec Robin Morisset
  
• É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.

• Cours 1 (28 septembre 2015) : Mise à niveau OCaml

• Cours 2 (5 octobre 2015) : Aperçu de la compilation / Assembleur X86-64

• Cours 3 (12 octobre 2015)

• Cours 4 (19 octobre 2015)

• pas de cours le lundi 26 octobre 2015

• Cours 5 (2 novembre 2015)

• Cours 6 (9 novembre 2015)

• Cours 7 (16 novembre 2015)

• Cours 8 (23 novembre 2015)

• Cours 9 (30 novembre 2015)

• Cours 10 (7 décembre 2015)

• Cours 11 (14 décembre 2015)

• Cours 12 (4 janvier 2016)

• Cours 13 (11 janvier 2016)

• Cours 14 (18 janvier 2016)

TD

• TD 1 (semaine 28 septembre 2015) : Mise à niveau OCaml
• TD 2 (semaine 5 octobre 2015) : Assembleur X86-64
• TD 3 (semaine 12 octobre 2015) :
• TD 4 (semaine 19 octobre 2015) :
• pas de TD la semaine du 26 octobre
• TD 5 (semaine 2 novembre 2015) :
• TD 6 (semaine 9 novembre 2015) :
• TD 7 (semaine 16 novembre 2015) :
• TD 8 (semaine 23 novembre 2015) :
• TD 9 (semaine 30 novembre 2015) :
• TD 10 (semaine 7 décembre 2015) :
• TD 11 (semaine 14 décembre 2015) :
• TD 12 (semaine 4 janvier 2016) :
• TD 13 (semaine 11 janvier 2016) :
• TD 14 (semaine 18 janvier 2016) :

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é)

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 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

• Menhir, un outil d'analyse syntaxique (manuel)

Cartes de référence

• OCaml : langage / bibliothèque / outils
• Emacs : général / mode Tuareg pour OCaml

Ouvrages en rapport avec le cours

• Andrew A. Appel Modern Compiler Implementation in ML
• Benjamin C. Pierce Types and Programming Languages
• Randal E. Bryant et David R. O'Hallaron Computer Systems: A Programmer's Perspective

Foreign students not yet fluent in French

• A tiny French-English dictionary