SEMANTIQUE ET TRADUCTION DES LANGAGES

  • Voir la page en français

    In brief

  • ECTS credits : 5
  • Code : N8EN10

Objectives

Know, understand, and know how to use the techniques:

- of formalizing the semantics of programming languages and proving correctness of type checking tools and code generators ;

- construction of interpreters for programs (environment management, type checking, execution) ;

- translation for programs (abstract tree, symbol table, type checking, code generation, optimization, virtual machine).

Organization

Contact(s)

PANTEL MARC

Contact

The National Institute of Electrical engineering, Electronics, Computer science,Fluid mechanics & Telecommunications and Networks

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