Programming Language Semantics and Compiler Design Techniques
(M1 MOSIG)

[See also Marion Daubignard web page !]

Some important announcements:

Introduction Course & Natural Operational Semantics
Static semantic Analysis
Code Generation
Optimization techniques
Further exercises