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.
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