Sémantique et Traduction des langages
- Langue d'enseignement : Français
- Méthode d'enseignement : En présence
- Code : N8EN10A
En bref
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
Compétences visées
Modélisation de la sémantique des langages informatiques.
Construction d'outils d'analyse de programmes.
Construction d'outils d'exécution de programmes.
Construction d'outils de traduction de programmes.
Pré-requis nécessaires
Modélisation (voir matière Modélisation de l'UE Modélisation et Programmation)
Automates et Théorie des langages
Session 1 ou session unique - Contrôle des connaissances
| Modalité | Nature | Coefficient | Remarques |
|---|---|---|---|
| CT (contrôle terminal) | Oral/Ecrit | 40% | Examen Sémantique et Traduct° langages |
| CC (contrôle continu) | Projet | 20% | Projet Sémantique et Traduction |
| CC (contrôle continu) | Bureau d'Etudes | 40% | BE-Sémentique & Traduct° Langages |
Session 2 - Contrôle des connaissances
| Modalité | Nature | Coefficient | Remarques |
|---|---|---|---|
| CT (contrôle terminal) | Oral/Ecrit | 40% | Examen Sémantique et Traduct° langages |
| CC (contrôle continu) | Projet | 20% | Projet Sémantique et Traduction |
| CC (contrôle continu) | Bureau d'Etudes | 40% | BE-Sémentique & Traduct° Langages |
Contact(s)
PANTEL MARCLieu(x)
- Toulouse
