• pouvoir définir la syntaxe formelle d'un langage de programmation,
• pouvoir définir la sémantique d'un langage avec un interpréteur,
• connaître les structures internes et l'architecture des compilateurs,
• être capable d'écrire un compilateur qui traduit un langage simple en un code exécutable,
• connaître les structures et les motifs de constructions (design patterns) utilisés dans la construction de compilateur,
• connaître la représentation en mémoire à l'exécution des principales constructions d'un langage de programmation.

Quelques buts moins tangibles mais tout aussi importants sont:

• Améliorer la compréhension des langages de programmations,
• comprendre les compromis entre pouvoir d'expression, simplicité, et performance d'un langage de programmation,
• participer à la conception et à la réalisation d'un logicielle où la théorie est essentielle pour la réussite.

Bibliographie:

• Andrew W. Appel, Modern compiler implementation in Java. Addison-Wesley, 1997.
• Niklaus Wirth. Compiler Construction. Addison-Wesley, 1996.

Examen

• Partie I: Vue d'ensemble et bases  (version 1, finale)
• Partie II: Analyse lexicale  (version 2, finale)
• Partie III: Analyse syntaxique  (version 1, finale)
• Partie IV: Syntaxe abstraite  (version 1, finale)
• Partie V: Analyse des noms  (version 2, finale)
• Partie VI: Analyse des types  (version 3, finale)
• Partie VII: Production de code I  (version 1)
• Partie VIII: Production de code II  (version 3)
• Partie IX: Production de code pour les fonctions et optimisations  (version 1)
• Partie X: Object-Oriented Dispatch Methods (en anglais)  (version 1)

• Grammaires BNF/EBNF (26.10.2001)
  • Exercice 1
• Grammaires LL(1) (16.11.2001)
  • Exercice 2 (version imprimable)
• Compilation du OU logique (25.1.2002)
  • La solution du problème présenté au cours.

Général

• Les transparents d'introduction au langage FuLL, en PostScript et en PostScript compressé (Attention : il s'agit d'une version un peu différente de celle présentée au cours, le type unit ayant été supprimé du langage, et les chaînes ayant été ajoutées).
• La grammaire du langage FuLL. [Nouvelle version (qui corrige une petite erreur) le 6/11/2001]
• La grammaire attribuée du langage FuLL. [Nouvelle version le 11/12/2001]
• Quelques petits programmes FuLL (nouvelles versions le 4/12, qui utilisent les bons noms pour les fonctions prédéfinies d'entrée/sortie) :
  1. la factorielle,
  2. un calcul de somme de carrés,
  3. un tri de nombres entiers,
  4. un problème de Noel amusant.
• Une petite introduction à la compilation et à l'exécution de programmes Java.

Séances

• Séance du 2/11/2001 Analyse lexicale : donnée (version imprimable).
• Séance du 16/11/2001 Analyse syntaxique : donnée (version imprimable).
• Séance du 30/11/2001 Construction de l'arbre : donnée (version imprimable).
• Séance du 7/12/2001 Analyse sémantique : donnée (version imprimable).
• Séance du 11/1/2002 Production de code : donnée (version imprimable). [Note : la date du rendu pour cette partie est repoussée au vendredi 8 février 2002.]

• Prof. Martin Odersky
      martin.odersky@epfl.ch, INR 329, tel. +41 21 693 6863
• Michel Schinz
      michel.schinz@epfl.ch, INR 318, tel. +41 21 693 4209
• Philippe Altherr
      philippe.altherr@epfl.ch, INR 318, tel. +41 21 693 5281
• Vincent Cremet
      vincent.cremet@epfl.ch, INR 320, tel. +41 21 693 6867
• Nikolay Mihaylov
      nikolay.mihaylov@epfl.ch, INR 329, tel. +41 21 693 6483
• Christine Röckl
      christine.roeckl@epfl.ch, INR 320, tel. +41 21 693 6867
• Christoph Zenger
      christoph.zenger@epfl.ch, INR 321, tel. +41 21 693 6864
• Matthias Zenger
      matthias.zenger@epfl.ch, INR 321, tel. +41 21 693 6864

• RiscEmu: un émulateur de processeur RISC
• SRD: un dévermineur RISC
• jdbg: un dévermineur Java
• Catalogue d'outils pour la construction de compilateurs
• Groupe de discussion comp.compilers
• Spécification du langage Java
• Platforme Java 2
• Ressources locales pour Java