SEMANTIQUE ET TRADUCTION DES LANGAGES
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).