Friday 10h15-12h15 CM
Objectif du cours
This course covers basic topics in compilation and program analysis: the differents steps of machine language production, as well as program analysis for optimisation and verification:
- lexical and syntactic analysis;
- typing, semantics;
- code optimisation and code generation;
- imperative languages, functional langages;
- abstract interpretation.
The course has 1 course session (2hours) and 1 lab session (2 hours) per week during the first semester of M1. Students will develop their own compiler over the course.