x1 INF564 : Compilation

INF564 : Compilation

Enseignant responsable : Jean-Christophe Filliâtre

Année 2016-17 (promotion X2014)

Présentation

Ce cours est une introduction à la compilation. On y explique les techniques et outils utilisés dans les différentes phases d'un compilateur, jusqu'à la production de code assembleur optimisé. Un compilateur pour un fragment du langage C vers l'assembleur x86-64 est réalisé en TD.

Cours

Au bâtiment Turing, salle Nicole-Reine Lepaute (1168).

Note : Une copie des transparents sera distribuée à chaque cours. Il est donc inutile d'imprimer les PDF ci-dessous.

TD

Au bâtiment Turing, salle Rosalind Franklin (1106).

Modalités de rendu et d'évaluation du projet

Le projet est à rendre pour le dimanche 19 mars 18h00.

Il doit être envoyée par email à l'enseignant responsable du cours, sous la forme d'une archive compressée contenant le code et un rapport. Le rapport doit expliquer les choix techniques retenus et les éventuelles limitations du projet. Le rapport n'a pas besoin d'être long mais il doit permettre de comprendre facilement le code du projet.

Le projet sera évalué sur la base de la lecture du rapport et de la lecture du code. Ce dernier point ne signifie pas pour autant qu'il faille commenter le code à outrance ; un code bien écrit se suffit à lui-même.

Des tests du projet seront réalisés, à des fins d'information, mais ne préjugeront en rien de la note qui sera attribuée au projet. Ainsi, un projet pourra passer tous les tests et ne pas obtenir la note maximale pour autant ; de même qu'un projet pourra ne passer aucun test et pour autant ne pas obtenir une note catastrophique.

Liens / Bibliographie

Outils

Cartes de référence

Ouvrages en rapport avec le cours

Ces trois ouvrages sont disponibles à la BCX. Le cours ci-dessus ne suit pas vraiment ces ouvrages. Néanmoins, se sont de très bons ouvrages, conseillés pour aller plus loin.

For foreign students not yet fluent in French


Merci à Léon Gondelman pour son aide pendant la préparation de ce cours.

Note : Ce cours a été assuré entre 2005-06 et 2015-16 par François Pottier. Le matériel de ce cours est archivé ici.


Page officielle dans le catalogue