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 9 septembre Introduction, définitions inductives
2 16 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é.
  • 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)
4 23 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 30 septembre Jour férié (pas de séance magistrale)
6 7 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)
7 14 octobre Produits et sommes
  • PFPL (§§10, 11)
7 21 octobre Types inductifs et coinductifs
  • PFPL (§15)
8 30 octobre Types inductifs et coinductifs (bis)
  • PFPL (§15)
9 4 novembre La récursivité: les systèmes PCF et FPC.
  • PFPL (§§19, 20)
 Justification du choix d'article
10 11 novembre Polymorphisme: le système F et les types abstraits.
  • PFPL (§§16, 17)
12 18 novembre La paramétricité et l'abstraction. Plan détaillé de présentation
13 25 novembre Les structures de contrôle: les exceptions et les continuations.
  • PFPL (§§28, 29, 30)
14 2 décembre Le parallélisme et la sémantique de coût
  • PFPL (§§27)
15 9 décembre Présentations orales Présentation orale