36 lines
1.4 KiB
Markdown
36 lines
1.4 KiB
Markdown
# Planning of the compilation course (CAP, Compilation and Program Analysis)
|
|
_Academic first semester 2022-2023_
|
|
|
|
# Week 1:
|
|
|
|
- :book: First Course session: Wednesday 07/09/2022, 10h15-12h15. Amphi B (Gabriel Radanne)
|
|
|
|
* Introduction: [transparents](course/capmif_cours01_intro_et_archi.pdf).
|
|
* ISA [ref pdf RISCV](course/riscv_isa.pdf).
|
|
* [Demo Assembly](course/demo20.s).
|
|
* Lexing, Parsing, [slides](course/capmif_cours02_lexing_parsing.pdf).
|
|
* [Demo Parsing](course/ANTLRExamples.tar.xz).
|
|
|
|
- :book: Second Course session: Friday 09/09/2022, 10:15. Amphi B (Gabriel Radanne)
|
|
|
|
* Interpreters [slides in english](course/capmif_cours03_interpreters.pdf).
|
|
* [Demo files](course/ANTLRExamples.tar.xz).
|
|
* [Grammar exercise](course/TD2.pdf).
|
|
|
|
- :rocket: Additional ressources (mainly in english)
|
|
|
|
* A nice YT video on [structural induction](https://www.youtube.com/watch?v=2o3EzvfgTiQ) by F. Pereira.
|
|
* Fernando Pereira's other videos on operational semantics : [video1](https://www.youtube.com/watch?v=bOzbRhXvtlY), [video2](https://www.youtube.com/watch?v=aiBKOuM5iEA).
|
|
|
|
# Week 2:
|
|
|
|
- :hammer: Lab 1: Wednesday 14/09/2021, 10h15-12h15. Salles B1 (Nicolas Chappe) & B2 (Rémi Di Guardia)
|
|
|
|
* Introduction to RISCV [TP01](TP01/tp1.pdf).
|
|
* Code in [TP01/](TP01/).
|
|
* ISA [ref pdf RISCV](course/riscv_isa.pdf).
|
|
|
|
- :book: Third Course session: Friday 16/09/2022, 10:15. Amphi B (Ludovic Henrio)
|
|
|
|
* Semantics [slides in english](course/cap_cours03b_semantics.pdf).
|