Languages and Compilation

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.

Lectures

This schedule is provisory. Schedule and topics might slightly change.

Lab Sessions

This schedule is provisory. Schedule and topics might slightly change.

Ressources

Links useful for the course and the projects

Reference sheets

Bibliography for the course