m1-ENSL/CAP
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

verified

Browse Source
This commit is contained in:
Yannick 2024-12-12 09:12:09 +01:00
parent ac51b2cc1d
commit 316d71c5cc
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
PLANNING.md
View File

@ -135,3 +135,9 @@ _Academic first semester 2024-2025_
* Parsing and typechecking functions [TP06a](TP06/tp6a.pdf), code in [MiniC/](MiniC/).
* Code generation for functions [TP06b](TP06/tp6b.pdf), code in [MiniC/](MiniC/).
* Going Parallel with futures [TPfutures](TPfutures/tpfutures.pdf), code in [TPfutures/MiniC-futures/](TPfutures/MiniC-futures/).
- :book: Course: Thursday 12/12/2024, 10h15-12h15. Amphi B (Yannick Zakowski)
* Verified Compilation [introduction slides](course/cap_cours11_verified.pdf).
* Course on black board
* Additional resources: [Xavier Leroy's class at Collège de France](https://www.college-de-france.fr/en/agenda/lecture/mechanized-semantics-when-the-machine-reasons-about-its-languages)

BIN
course/cap_cours11_verified.pdf Normal file
View File

Binary file not shown.