Langages et Compilation

Jean-Jacques Lévy

Chapitre -1: Avant-propos
Chapitre 0: La programmation en Caml - bis
Chapitre 1: Langages formels
Chapitre 2: Automates finis
Chapitre 3: Grammaires context-free
Chapitre 4: Analyse syntaxique, Portée des variables
Chapitre 5: Blocs d'activation, code intermédiaire
Chapitre 6: Linéarisation, code 3 opérandes, sélection des instructions
Chapitre 7: Durée de vie, allocation de registres, allocation mémoire
Chapitre 8: Objets et classes, et leur compilation


TD1: Word count
TD2: Déterminisation d'un automate fini
TD3: Analyse syntaxique d'une calculette
TD4: Un interpréteur pour PCF (Rémy), (Lévy) (ou en C)
TD5: Génération de code pour CTigre, (Rémy)
TD6: Génération de code 3 opérandes


Emacs, GDB, le langage C,
Caml: manuel, caml-mode, ocaml, le système, BNF
Annexes C et Caml du cours de tronc commun
Bibliographie


Examen écrit, corrigé