Programming Language Theory

Instructor: Daniel Hirschkoff

Institution: ENS de Lyon

Year: 2024–2025

Main topics

  • Induction
  • Type theory
  • Program logic
  • Separation logic
  • Rewriting systems

Course chapters

  1. Premiers cours : définitions et preuves par induction
  2. Constructions et raisonnements par induction
  3. EA, expressions arithmétiques simples
  4. Le langage FUN
  5. Typage : types simples pour FUN
  6. IMP, le petit langage impératif
  7. Logiques de programmes
  8. Mémoire structurée, logique de séparation
  9. Réécriture