Partager cette page :
Discipline(s) : Infomatique et télécommunications

Advanced Semantics

Nature UE

Responsables

David Cachera

Objectifs

Ce cours a pour objectif d'acquérir les outils fondamentaux pour la compréhension des langages de programmation.

Mots-clés

Sémantique, théorie des types, logiques de programmes, compilation, vérification du logiciel.

Prérequis

Notions de logique, preuves par induction, sémantique opérationnelle

Contenu

  • Sémantique dénotationelle.
  • Sémantique et programmation par continuations.
  • Systèmes de types. Correction et inférence. Polymorphisme. Types dépendants.
  • Logiques de programme. Logique de Hoare. Logique de séparation.
  • Sémantiques de langages concurrents

Compétences acquises

Comprendre les mécanismes en oeuvre dans la conception d'un langage de programmation. Connaître des outils avancés pour la vérification formelle du logiciel.

Appartient à

Mise à jour le 17 juillet 2017