L’objectif de cette UE est de décrire les idées et méthodes principales utilisées en sémantique des langages de programmation, de les illustrer sur des exemples et d’étudier les relations entre les différentes méthodes.
Prérequis
Aucun.
Acquis d’apprentissage
- Notions de bases de la sémantique
- Introduction aux méthodes
- Un langage impératif simple
- Sémantique opérationnelle
- Sémantique naturelle, sémantique structurelle
- Équivalence des sémantiques
- Sémantique dénotationnelle
- théorie du point fixe
- applications à la sémantique dénotationnelle
- équivalence avec la sémantique opérationnelle
- Sémantique axiomatique
- correction partielle de programmes
- logique de Hoare et applications à la vérification de programmes
Compétences visées
- Maîtriser au travers de la sémantique la compréhension des langages de programmation et des programmes écrits dans ces langages.
- Vérifier formellement l’exécution et la correction des programmes.