Sémantique avancée (ASM)

Description

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.

Enseignant

David Cachera