Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Langages de programmation
Thèmes :
Programmation
,
Sémantique
–
Cursus :
MPRI - M2
2007 - 2008
Compilation et transformations de programmes
Xavier Leroy
1 - operational semantics
2 - abstract machines and compilation
3 - program transformations
4 - monads and monadic transformations
5 - functional intermediate representations
Exercises
Answers