INF564 : Compilation

Enseignant responsable : Jean-Christophe Filliâtre

Année 2017-18 (promotion X2015)

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

En PC 21 (14:00-16:00).

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

TD

En salle info 32 (16:15-18:15).

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

La date de rendu du projet n'est pas encore fixée.

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.

Examen

Le contrôle écrit (non classant) aura lieu le 19 mars, de 14h à 17h.

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 et Mário Pereira pour leur 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