Ce module offre une introduction à l'implémentation des langages de programmation ainsi qu'à la conception et réalisation de compilateurs. Il s'agit d'un sujet vaste qui touche à de multiples sous-domaines de l'informatique, depuis la théorie des automates jusqu'à l'architecture des ordinateurs, en passant par la programmation système ou encore la logique.
Les concepts du cours sont illustrés de façon concrète par la réalisation guidée d’un compilateur de langage fonctionnel ciblant l’architecture x86-64.