This repository has been archived on 2024-01-18. You can view files and clone it, but cannot push or open issues or pull requests.
compilation/cours/journal.org
2023-10-25 18:42:49 +02:00

2.6 KiB
Raw Permalink Blame History

Compilation 2023/2024 Journal du cours

Ce fichier est disponible au format HTML.

Cours 01 <2023-09-20 Wed>

Présentation

Voir les transparents dans cours-introduction.pdf.

Introduction à la compilation : le micro-langage Marthe

Le reste de la séance est consacré à la lecture et discussion d'un micro-langage de programmation, Marthe. Voir le fichier marthe.ml.

À préparer pour le prochain TP et le prochain cours

TODO Prochaine séance de travaux pratiques

  • Recommandé : venir avec son ordinateur portable, lundi
  • S'assurer que votre environnement de travail dispose d'un environnement de développement OCaml fonctionnel (compilateur OCaml, OPAM, dune).

TODO S'inscrire sur la liste de diffusion du cours

TODO Prochain séance de cours

  • Finir la gestion des commentaires dans marthe.ml.

Cours 02 <2023-09-27 Wed>

Analyse syntaxique appliquée

Voir les transparents.

Aperçu de flap

Voir les transparents.

La semaine prochaine

  • En TP : une initiation à Menhir.
  • En cours : le démarrage du jalon 1.

Cours 03 <2023-10-04 Wed>

Aperçu de la syntaxe abstraite pour Flap

Voir les transparents incomplets et le code du module HopixAST, lu en détail durant la séance.

Jalon 1

Le jalon 1 a été distribué.

La semaine prochaine

  • En TP : travail sur le jalon 1
  • En cours : questions/réponses au sujet du jalon 1 et introduction à l'interprétation des programmes Hopix.

Cours 04 <2023-10-11 Wed>

On discute de la gestion de la syntaxe et en particulier des lieurs, voir les transparents.

Cours 05 <2023-10-18 Wed>

On revient sur la gestion de la liaison, et de l'évaluation, voir les transparents.

Cours 06 <2023-10-25 Wed>

On termine les transparents précédents sur l'écriture d'évaluateurs.

Attention : le fichier contenant les diapos a été renommé, c'est désormais transparents.

On décrit le jalon 2.