TY  - THES
DP  - http://www.theses.fr/2012DENS0053
TI  - Semantic foundations of  intermediate program representations
AU  - Demange, Delphine
A3  - Jensen, Thomas
PY  - 2012
N1  - Thèse de doctorat Informatique Cachan, Ecole normale supérieure 2012
N1  - 2012DENS0053
UR  - http://www.theses.fr/2012DENS0053/document
ER  -