Programming
Language Semantics and Compiler Design Techniques
(M1 MOSIG)
[See also Marion Daubignard
web page !]
Some important announcements:
- Final Written Exam: December the 13th, 9 am, 3 hours, documents allowed
A good preparation is the subject proposed last year ...
- Written exam: November the 10th, 8 am, 1 hour, no documents
The subject, and some elements of a solution
...
- Practical Homework: due to December the 13th, groups of 2/3 people, see the subject here,
send questions to Laurent Mounier
Introduction
Course & Natural Operational Semantics
Static
semantic Analysis
Code Generation
Optimization
techniques
Further
exercises