Semainier provisionnel

Vous trouverez des liens et des données bibliographiques pour les lectures recommandées sur la page de ressources.

# Date Sujet Lecture recommandée À remettre
1 4 septembre Introduction, définitions inductives
2 11 septembre Langage d'expressions: introduction à la sémantique avec un langages d'expressions
  • Sémantique des expressions: PFPL (§§5.1, 5.2), N&N (§1.3)
3 18 septembre Expressions: variables liées, portée, système de typage, propriétés de sûreté.
  • Exemples de preuves par induction
  • variables, α-équivalence, substitution: PFPL (chapitre 1)
  • jugements hypothétiques: PFPL (§§3.1, 3.2)
  • système de typage pour expressions: PFPL (chapitre 4)
  • propriétés de sûreté (progrès, préservation): PFPL (chapitre 6)
  • sémantique des expressions avec let: PFPL (§§5.2, 7.1)
 TP1
4 25 septembre Langage impératif simple: syntaxe, comparaison de ses sémantiques opérationnelles, et la sémantique axiomatique
  • Sémantiques à grosses et à petites étapes: N&N (chapitre 2)
  • Sémantique axiomatique: Tennent (§3.6), Gordon (§2)
  • Approche plus sémantique à la sémantique axiomatique (la sémantique axiomatique « extrinsique ») : N&N (§6.2) et Reynolds (chapitre 3)
  • Symboles vs variables (PFPL pp. 6, 10)
5 2 octobre
  • Langage impératif simple: Sémantique dénotationnelle
  • Fonctions d'ordre supérieur: syntaxe, système de typage, sémantiques à petites étapes et dénotationnelle
  • Langage impératif simple: Tennent (pp. 31–41)
  • Fonctions: PFPL (§8), Tennent (pp. 59–67)
 TP2
6 9 octobre Produits et sommes
  • PFPL (§§10, 11)
7 16 octobre Types inductifs et coinductifs
  • PFPL (§15)
 TP3
8 23 octobre Séance annulée: période de travail de groupe
9 30 octobre Types inductifs et coinductifs (bis)
  • PFPL (§15)
 TP4, choix d'article
10 6 novembre La récursivité: les systèmes PCF et FPC.
  • PFPL (§§19, 20)
11 13 novembre Polymorphisme: le système F et les types abstraits.
  • PFPL (§§16, 17)
 TP5
12 20 novembre La paramétricité et l'abstraction. Plan détaillé de présentation
13 27 novembre Les structures de contrôle: les exceptions et les continuations.
  • PFPL (§§28, 29, 30)
 TP6
14 4 décembre Le parallélisme et la sémantique de coût
  • PFPL (§§27)
15 11 décembre Présentations orales TP7, présentation orale