Compilation (INF564)

J'assure ce cours depuis 2005-2006. J'encadre également les travaux dirigés.

Aperçu

Le cours consiste à étudier et à écrire un compilateur d'un langage impératif simple, baptisé Pseudo-Pascal, vers l'assembleur MIPS. Il permet de comprendre l'étendue et le franchissement du fossé qui sépare langages de haut niveau et langages machine. Il permet également de découvrir des techniques et algorithmes non triviaux et de les exprimer dans un langage de très haut niveau, à savoir OCaml. Pour en savoir plus, consultez ces quelques transparents de présentation.

Matériau

Mis dès à présent à votre disposition, mais néanmoins susceptible d'évolution à tout moment.

Outils

Références

Remerciements

Merci à Luc Maranget, qui assurait précédemment ce cours, pour son aide. Merci également à Xavier Leroy, dont le compilateur certifié a fortement inspiré l'architecture du petit compilateur que je présenterai en cours.

Merci enfin à Yannick Moy et à Nicolas Pouillard pour avoir encadré les travaux dirigés pendant trois ans et un an respectivement.

Contact

Envoyez vos questions ou commentaires à François Pottier.