Module « Sémantique et typage »

Volume horaire

  • 16 heures de cours magistral.
  • 6 heures de travaux dirigés.
  • 18 heures de travaux pratiques.

Description du module

  • Lambda-calcul.
  • Sémantique opérationnelle.
  • Système de type.
  • Sureté d’un langage de programmation.