SEMANTIQUE ET TRADUCTION DES LANGAGES

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

Organisation

• Sémantique et Traduction des langages (Coefficient 100 )