Based on the Jean-Christophe
Filliâtre's lectures given at
École
Polytechnique and
École Normale
Supérieure
by Léon Gondelman
at Aalborg University, Copenhagen, 2025.
Course Description
This course is an introduction to compilation. We will learn the
techniques and tools used
in the different phases of a compiler, up to the production of assembly
code.