Hugo Salou – ENS L3
Théorie de la Programmation
Enseignant : Daniel HIRSCHKOFF
Cours complet
Cours par chapitres
Chapitre 0 :
Introduction
Chapitre 1 :
Induction
Chapitre 2 :
Théorèmes de point fixe
Chapitre 3 :
Les bases de Rocq
Chapitre 4 :
Sémantique opérationnelle pour les expressions arithmétiques simples (EA)
Chapitre 5 :
Sémantique opérationnelle pour les expressions arithmétiques avec déclarations locales (LEA)
Chapitre 6 :
Un petit langage fonctionnel : FUN
Chapitre 7 :
Typage en FUN
Chapitre 8 :
Un petit langage impératif : IMP
Chapitre 9 :
Mémoire structurée et logique de séparation
Chapitre 10 :
Réécriture