Catalogue des formations

Diplômes intégrant cet élément pédagogique :

• Master Informatique

Descriptif

This module introduces the main concepts available in programming languages to execute a program on a machine. Moreover, it presents compilers, the programs used to transform human-readable programs into machine-readable programs.

More specifically, this module aims to provide:  

 - the formal tools allowing to describe (static and dynamic) program semantics;

 - the main algorithms and transformation steps implemented within a compiler to produce a sound and correct executable code.

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble
Langue(s) : Anglais