ECTS
5 crédits
Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
Objectifs
Connaître, comprendre et savoir utiliser les techniques :
- de formalisation de la sémantique des langages de programmation et de preuve de correction des outils de vérification par typage et des générateurs de code ;
- de construction d’interprètes pour les programmes (gestion de l’environnement, vérification des types, exécution) ;
- de traduction pour les programmes (arbre abstrait, table des symboles, vérification par tapage, génération de code, optimisation, machine virtuelle).