CAP/PLANNING.md

Planning of the compilation course (CAP, Compilation and Program Analysis)

Academic first semester 2024-2025

Week 1:

• 📖 Course: Monday 09/09/2024, 13h30-15h30. Amphi K (Gabriel Radanne)

  • Introduction: transparents.
  • ISA ref pdf RISCV.
  • Demo Assembly.
  • Lexing, Parsing, slides.
  • Demo Parsing.

• 🔨 Lab 1: Thursday 12/09/2024, 10h15-12h15. Room E001 (Samuel Humeau & Emma Nardino)

• 🚀 Additional ressources (mainly in english)

  • A nice YT video on structural induction by F. Pereira.
  • Fernando Pereira's other videos on operational semantics : video1, video2.

Week 2:

• 📖 Course: Monday 16/09/2024, 13h30-15h30. Amphi SVT (Bio) (Yannick Zakowski)

  • Semantics: transparents.

• 📖 Course: Thursday 19/09/2024, 10h15-12h15. Amphi B (Yannick Zakowski)

  • Typing: transparents.