Traduction des Langages

Objectifs

L'étudiant doit maîtriser les différentes étapes de la traduction des langage : analyse lexicale, analyse syntaxique et analyse sémantique. Dans la cas particulier de la compilation, il doit connaître quatre phases de l'analyse sémantique : la résolution des identifiant grâce à une table des symboles, le typage, le placement mémoire des variables et la génération de code. L'étudiant réalisera un compilateur qui prendra en langage d'entrée une sous partie du C, qui produira du code pour une machine abstraite à pile. Le compilateur sera lui-même écrit en OCaml.

Session 1 ou session unique - Contrôle des connaissances

Session 2 - Contrôle des connaissances