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.