SEMANTIQUE ET TRADUCTION DES LANGAGES

  • See this page in english

    En bref

  • Crédits ECTS : 5
  • Code : N8EN10

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

Contact(s)

PANTEL MARC

Contactez l’ENSEEIHT

L’École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications

2, rue Charles Camichel - BP 7122
31071 Toulouse Cedex 7, France

+33 (0)5 34 32 20 00

Certifications

  • Logo MENESR
  • Logo UTFTMP
  • Logo INP
  • Logo INPT
  • Logo Mines télécoms
  • Logo CTI
  • Logo CDEFI
  • Logo midisup