ECTS
5 credits
Component
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
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).