Semestre 8 – Option – Sémantique des langages

Objectifs

Donner les bases de la sémantique des langages informatiques et son utilisation pour la vérification de propriétés de programmes.

Prérequis

Voir la description des prérequis du M1.

Contenu pédagogique de l’UE

  • notions de bases, langage.
  • Sémantique opérationnelle (sémantique naturelle et structurelle).
  • Sémantique dénotationnelle (théorie du point fixe et applications).
  • Sémantique axiomatique (raisonner, prouver des programmes).