Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
Découvrir, comprendre et savoir exploiter les outils mathématiques et informatiques nécessaires à la modélisation formelle et l'utilisation dans les outils de programmation de la sémantique des langages informatiques. La matière couvre à la fois les aspects théoriques et pratiques à travers l'exploitation d'outils de l'état de l'art actuel permettant la construction d'outils d'analyse et d'exécution de programmes (interpréteur, compilateur).
Description
Étude théorique et pratique de :
- Sémantique opérationnelle
- Sémantique axiomatique
- Interpréteur
- Compilateur
- Analyseur statique
- Preuve de correction de tels outils
Pré-requis obligatoires
Modélisation (voir matière Modélisation de l'UE Modélisation et Programmation)
Automates et Théorie des langages