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 / Problèmes évalués
1 9 septembre Introduction, définitions inductives
  • Introduction: Tennent (§1.2), Gunter (pp. 1–14), Why Study Programming Languages?
  • Induction: PFPL (§§1.1, 2), Mitchell (§1.8)
  • Sémantique des expressions: PFPL (§§5.1, 5.2), N&N (§1.3)
  • Pour rire: WAT
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)
  • système de typage pour expressions: PFPL (chapitre 4)
  • propriétés de sûreté (progrès, préservation): PFPL (chapitre 6)
 Problèmes
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)
 Problèmes
4 23 septembre Expressions (suite).
  • sémantique des expressions avec let: PFPL (§§5.2, 7.1)
 Problèmes
5 30 septembre Jour férié (pas de séance magistrale)
6 7 octobre Langage impératif simple: syntaxe, comparaison de ses sémantiques opérationnelles
  • Langage impératif simple: Tennent (pp. 31–41)
  • Symboles vs variables (PFPL pp. 6, 10)
  • Sémantiques à grosses et à petites étapes: N&N (pp. 14-45)
 Problèmes
7 14 octobre Langage impératif simple: Sémantique dénotationnelle et axiomatique
  • 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)
Problèmes
8 21 octobre
  • Fonctions d'ordre supérieur: syntaxe, système de typage, sémantiques à petites étapes et dénotationnelle
  • Produits et sommes
  • Fonctions: PFPL (§8), Tennent (pp. 59–67)
  • PFPL (§§10, 11)
 Problèmes
9 30 octobre Types inductifs et coinductifs
  • PFPL (§15)
10 4 novembre La récursivité: les systèmes PCF et FPC.
  • PFPL (§§19, 20)
 Justification du choix d'article
11 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