UE Programming language and compiler design

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.