´ UNIVERSITE PARIS 6 – PIERRE ET MARIE CURIE

` THESE pour obtenir le grade de

´ DOCTEUR de l’UNIVERSITE PARIS 6 Sp´cialit´ : INFORMATIQUE e e

pr´sent´e par : e e

Louis Mandel

Conception, S´mantique et Implantation de e ReactiveML : un langage ` la ML pour la programmation r´active a e

Th`se dirig´e par Marc Pouzet e e

Soutenue le 22 mai 2006 devant le jury compos´ de : e

Rapporteurs M. Fr´d´ric Boussinot e e Maˆ de Recherche ıtre ´ M. Jean-Jacques Levy Directeur de Recherche Examinateurs M. G´rard Berry e Directeur Scientifique Mme. Florence Maraninchi Professeur M. Jean-Charles Pomerol Professeur Directeur de th`se e M. Marc Pouzet Professeur

Ecole des Mines de Paris INRIA Rocquencourt Esterel Technologies ENSIMAG-INPG Universit´ Paris 6 e Universit´ Paris-Sud 11 e

Remerciements
En premier lieu, je tiens a remercier sinc`rement Jean-Charles Pomerol, Pr´sident de l’uni` e e versit´ Pierre et Marie Curie, de m’avoir fait l’honneur de bien vouloir pr´sider le jury de ma e e th`se. e Je remercie Fr´d´ric Boussinot et Jean-Jacques L´vy d’avoir accept´ d’ˆtre rapporteurs de e e e e e ma th`se. e e De par sa grande culture scientifique et sa rigueur, c’est un privil`ge d’avoir eu le regard critique de Jean-Jacques L´vy sur mon travail. e L’approche originale des langages synchrones de Fr´d´ric Boussinot est a la base de mes e e ` recherches. Je souhaite le remercier pour sa gentillesse et pour les discussions tr`s enrichissantes e que nous avons eues. Je tiens a exprimer ma profonde gratitude a G´rard Berry et Florence Maraninchi qui me ` ` e font l’honneur de participer a mon jury de th`se. ` e Marc Pouzet m’a conduit sur ce sujet qui, apr`s plus de trois ans de recherche, me passionne e toujours autant. Sa rigueur scientifique et son goˆt pour le travail sont des exemples pour moi. u Je tiens a lui exprimer toute ma reconnaissance pour sa direction attentive et exigeante, pour ` sa disponibilit´ et son soutien constant qui m’ont permis de