page du cours "compilation"

Slides du CM

Introduction
La compilation dans les années 1990s : Transparents (sous forme de diagramme navigable) des schémas de compilation/interprétation utilisés dans les années 80 et 90.
2nd CM 2023
3ième CM 2023
4ième CM 2023
5ième CM 2023
6ième CM 2023
7ième CM 2023
8ième CM 2023
9ième CM 2023
10ième CM 2023
La compilation dans les années 2010s : Transparents (sous forme de diagramme navigable) des schémas plus modernes de compilation/interprétation. Servent de slides de conclusion.

TP1 sur les générateurs de lexeurs et parseurs (un langage au choix)

Langage au choix pour écrire le compilateur. Le TP est fournit pour C, Java et OCaml (les langages étudiées à P13), mais vous pouvez vous en $ Conseil : utilisez un langage que vous connaissez (de préférence que vous maitrisez), si possible fonctionel, et si possible avec un générateur externe LR (LALR ou LR1); si vous êtes à l'aise avec OCaml, c'est probablement le meilleurs choix.

En C : Utilisation de Flex et Bison et le TP associé
En Java : Utilisation de JavaCC et le TP associé, vous pouvez aussi essayer d'utiliser Hime qui semble être un bonne alternative et est un parseur LR (contrairement à JavaCC), comme ceux que l'on va voir en cours.
En OCaml : Utilisation de OCamlLex et OCamlYacc et le TP associé, vous pouvez aussi utiliser Menhir qui est plus difficile à installer, mais donne de bien meilleurs messages d'erreur (il est aussi un peu plus puissant).
En C# ou Rust : Vous pouvez essayer d'utiliser Hime.

Autres TPs

TDs

Cours

Structure des compilateurs : Description globale de la compilation.
Frontend : Analyses lexicale, syntaxique et sémantique
Machines abstraites de mini-JS : Définition de la mini-JS-machine et de l'assembleur mini-JS.
(obsolète, donné en 2020) Transparents sur les grammaires : cours sur les grammaires
(obsolète, donné en 2020) exemples de codes vus en classe à distance l'an dernier et le tableau svg utilisé
(obsolète, lié au projet de 2019) Machines abstraites de mini-Python : Définition de la mini-Py-machine, du mini-Py-code.
(obsolète, lié au projet de 2018) Machines abstraites de Pascal : Définition de la P-machine, du P-code et de l'encodage depuis le pascal

Projet à consulter régulièrement pour avoir plus d'informations.

Le rendu final du projet se fait sur moodle. Vous pouvez aussi l'envoyer par mail à vos examinateurs, ou (mieux), leur envoyer un lien vers un dépot git/svn/autre (avec des droits en lecture).
Énoncé du projet
L'interprèteur de la mini_JS_machine
(obsolète, lié au projet de 2019) L'interprèteur de la mini_py_machine codé en OCaml
(obsolète, lié au projet de 2018) L'interprèteur de la P-machine codé en C

Examens passés et blancs

Liste de références

Cours de compilation de Christine Paulin à Orsay: excelent cours, en Français, assez proche la trame de notre cours (différences : niveau un peu plus élevé, moins de détails sur les algos frontend, machine virtuelle plus proche d'un processeur réel, pas de sémantique de JS, explication de quelques optimisation)
Cours de compilation de Standford: Le meilleurs cours de compilation que j'ai pu trouver sur internet. Le cours s'en inspire très largement, même si on ne fait qu'une petite partie de leur programme et que l'on met plus l'accent sur les clôtures, présentes dans la grande majorité des langages "modernes".
Le cours d'Henri Garreta: Cours en français très bien écrit. Point de vu pratique de l'utilisation de générateurs de lexeur/parseur.
Cours confiné de l'ENS Lyon : Cours de compilation très complet mais aussi très poussé, avec des vrais optimisations vues en détails.
Le Dragon : De son vrais nom "Compilers: Principles, Techniques and Tools", c'est la "Bible" de la compilation. Il est maintenant très vieux, mais il passe sur les concepts de base de la compilation, surtout pour l'écriture d'un compilateur en C (certaines parties sont beaucoup plus simple dans des langages plus haut niveau). Une traduction française existe, mais vous n'en trouverez peut-être pas de scan sur internet contrairement à l'anglaise.
Compiler Design : Livre de référence, en particulier sur la P-machine (la machine abstraite du langage Pascal). Un peu moins vieux que le Dragon, mais tout même loin des préoccupations modernes de la compilation.
WebAssembly et ses specs : Un peu complexe, mais très bon pour avoir une idée de la forme que prend la compilation plus moderne.
Les (vrais) entrailles de JS : En cours on fait un compilateur de JS, mais en fait JS est interprété avec des JITs, cette page (en français) explique bien la situation.
Quelques générateurs de lexers: Alex pour Haskell, OCamellex pour OCaml, Flex pour C/C++ avec un tutoriel, JavaCC pour Java , PLY-lex pour Python, parser-combinators pour Scala avec un tutoriel.
Quelques générateurs de parsers: Happy pour Haskell, OCamelYacc pour OCaml, Bison pour C/C++ avec un tutoriel, JavaCC pour Java , PLY-parser pour Python, parser-combinators pour Scala avec un tutoriel.

À destination des visiteurs

Ce cours est loin d'être parfait et en constante évolution. Si vous souhaitez néanmoins l'utiliser pour vous former ou pour former des étudiants, vous êtes les bienvenu.

Usage privé : allez y ! Vous pouvez même me contacter si vous avez des questions, j'essaierais d'y répondre. Je dois aussi pouvoir vous envoyer des vidéos de 2020.
Utilisation comme inspiration : Avec plaisir, citez simplement la page dans vos sources.
Utilisation des ressources telles quelles pour un cours : Je le déconseille car le cours s'articule avec une présentation oratoire spécifique. Mais si vous y tenez, veuillez simplement me tenir au courant et ne pas enlever la licence CC.
Modification : Toute utilisation avec modification doit avoir mon accord, que je donnerais très facilement. Je peux fournir les sources des documents si besoin.

À lire (cliquez ici !)