====== Sémantique de langages de programmation ======

==== Compétences visées ====

Le cours vise à familiariser les étudiants avec des techniques et méthodes formelles pour raisonner de manière générale sur la sémantique des langages de programmation, et plus particulièrement sur la sémantique opérationnelle.

==== Contenu ====

  * Quelques notions préliminaires mathématiques et logiques
  * Lambda-calcul
  * Systèmes de réécriture
  * Raisonnement équationnel
  * Éléments de base de la sémantique dénotationnelle