Compilation

J'assure ce cours de majeure 2 à partir de l'année 2005-2006. Les travaux dirigés en salle machines sont encadrés par Yannick Moy et moi-même.

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 Objective Caml. 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.

Projets

Consultez les quatre sujets proposés en 2006-2007 ainsi qu'une explication de ce que j'attends de vous.

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.

Contact

Envoyez vos questions ou commentaires à François Pottier.