FormationsMasterInformatiqueEnseignementsSémantique

Master InformatiqueUE Sémantique

Contenu

1-Le lambda-calcul simplement typé

Syntaxe, typage, beta et eta-conversions, équations. Modèles : interprétation des jugements de typage.

2-Extension à PCF. La règle \mu.

3-Points fixes dans les ordres partiels complets.

Le théorème de Tarski.

4-Sémantique par point fixe de PCF.

5-Cours de clôture : survol des différentes approches sémantiques.

Sémantiques opérationnelles : par transitions, naturelles, machine abstraite de

Landin.

Sémantique dénotationnelles : cas fonctionnel(cf.chapitre 4) et cas d'un petit langage impératif.

Langue utilisée

Langue principale utilisée par cet enseignement : Français.

Volume des enseignements

  • Cours magistraux : 10 heures
  • Travaux dirigés : 10 heures
  • Travaux pratiques : 10 heures

LES FORMATIONS QUI UTILISENT CET ENSEIGNEMENT