Langages et Compilation



next up previous

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é



Cours de majeure d'Informatique,
Ecole Polytechnique, 1997-98