Cours de Compilation
Maîtrise d'Informatique
Paris VII


Roberto Di Cosmo
Laboratoire Preuves, Programmes, Systèmes (PPS)
Université de Paris VII
Paris
e-mail: roberto@dicosmo.org
WWW: http://www.dicosmo.org



  1. Introduction
  2. Mise à niveau Ocaml
  3. Analyse Lexicale, OcamlLex
  4. Analyse Syntaxique Descendante
  5. Analyse Syntaxique Ascendante ( PDF )
  6. Analyse Syntaxique Ascendante, OcamlYacc ( PDF )
  7. Actions Sémantiques, attributs
  8. Arbres de Syntaxe Abstraite
  9. Tables des symboles, Typage
  10. Blocs d'activation, lien statique
  11. Code intermediaire
  12. Assembleur

Le projet de compilation est disponible en PostScript ou en PDF. Il y a aussi un ensemble de programmes de référence pour le projet disponibles pour OCaml 3.00 ou OCaml 2.04, ainsi que plusieurs exemples de programmes correctes et incorrectes de CTigre ici.
Attention: il vous faut un Gnu Make recent pour utiliser les Makefiles fournis.


Les notes de cours des années précédentes:


Bibliographie

La bibliothèque dispose maintenant de plus de 20 copies du livre Modern Compiler Implementation in ML, Andrew W. Appel, Cambridge University Press, 1998, que l'on suit approximativement pour ce cours.

Il y a aussi plus de 20 copies du livre Développement d'applications avec Objective Caml qui est entiérement dedié au langage Ocaml que nous utilisons dans le cours, et dont je recommande fortement la lecture. (N.B.: ce livre est entiérement en ligne).