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

67 lines
2.6 KiB
Org Mode
Raw Permalink Normal View History

2023-09-21 08:35:01 +02:00
#+TITLE: Compilation 2023/2024 -- Journal du cours
#+AUTHOR: Adrien Guatto
#+EMAIL: guatto@irif.org
#+LANGUAGE: fr
#+OPTIONS: ^:nil p:nil
#+LATEX_CLASS: article
#+LATEX_CLASS_OPTIONS: [a4paper,11pt]
#+LATEX_HEADER: \usepackage{a4wide}
#+LATEX_HEADER: \usepackage{microtype}
#+LATEX_HEADER: \hypersetup{hidelinks}
#+LATEX_HEADER: \usepackage[french]{babel}
# (org-latex-export-to-pdf)
Ce fichier est disponible au
[[https://www.irif.fr/~guatto/teaching/23-24/compilation/journal.html][format
HTML]].
* Cours 01 <2023-09-20>
** Présentation
Voir les transparents dans
[[file:cours-introduction.pdf][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
[[file:cours-01/marthe.ml][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
https://listes.u-paris.fr/wws/info/m1.2023.compilation.info
*** TODO Prochain séance de cours
- Finir la gestion des commentaires dans ~marthe.ml~.
2023-09-27 18:49:08 +02:00
* Cours 02 <2023-09-27>
** Analyse syntaxique appliquée
Voir les [[file:cours-parsing.pdf][transparents]].
** Aperçu de flap
Voir les [[file:cours-flap.pdf][transparents]].
** La semaine prochaine
- En TP : une initiation à Menhir.
- En cours : le démarrage du jalon 1.
2023-10-04 18:27:36 +02:00
* Cours 03 <2023-10-04>
** Aperçu de la syntaxe abstraite pour Flap
Voir les [[file:cours-hopix.pdf][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.
2023-10-25 18:42:49 +02:00
* Cours 04 <2023-10-11>
On discute de la gestion de la syntaxe et en particulier des lieurs, voir les
[[file:cours-semantique.pdf][transparents]].
* Cours 05 <2023-10-18>
On revient sur la gestion de la liaison, et de l'évaluation, voir les
[[file:cours-semantique.pdf][transparents]].
* Cours 06 <2023-10-25>
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
[[file:cours-interpretation.pdf][transparents]].
On décrit le jalon 2.