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:

• 1999-2000

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