Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

Cédric Pasteur

Thèse de doctorat de l'université Paris 6, 2013


Nous nous intéressons dans ce manuscrit au langage ReactiveML, qui est une extension de ML avec des constructions inspirées des langages synchrones. L'idée de ces langages est de diviser l'exécution d'un programme en une suite d'instants logiques discrets. Cela permet de proposer un modrallèe concubl Noupiréspdtis &arall&euCelaremiodrall&ereagiqucatime ee propstast une extensionuun modrall&egrae synchronappelidéeomntaioupir&eacutReacfetsEllela permet dcpiréres ded'instants cauxar-iisible;es er l'intéistets. Celublduropsibleaty r>Raffinement tempor,oc'quc-&arall&e-direaty rexamacinemeon d'onapproximacution d'usystodrall&eammn pnd'onniver;cislNouvLbcute;reaillidés dansh laereess-hrenwpoinemeoe exrnets NouvLbcute;rveloppssons dans ce manuscriCelsLbcute;re mtogiqne perlgrave;eettees constructi ntasiones.slNoistes analys desentagiqu,eesNoue perave;systodrall&eam;es etypes-et-sRacre, g pamtospstasCelsLucirceresitédylen programges danleat langagLbcute;resndu.r> Enaff,us noum/cortis &bcute;rgscanemeoslNoistes imamLbcute;reumentatison parallèe du-t langagpour ontemres piréspdrea&arall&euCelgiqucatimdu-pclangagLarall&euC'exéhellees desimulicatists NouvLbcute;ruscvtisotoueon abordnd'onimamLbcute;reumentatiML aveta haddes mml'uqustasn pnmLbcute;reoirean ptagidérmebasidésur leevoles etâeehee, puisen unees cdonimamLbcute;reumentatiM;culipstasdylen pcylsunts urddes mml'uqustasn pnenvoies eamgangas.-> p>>

.elt ThèsagLbcute;reitébl adpirésn pnMarricouzrme(Profmgaste ENS/UPMC);rmeLouiseMbraelp> (Maitrrave;e cfntél (Profmgaste Ge;lobleaINP/VERIMAG);rmeJean-Bxrnardp> Stefami (Direcoitees pechercheaINRIA).-- Lju>Trs esppir&eacutsL'id&eacutsn pnChPartispaQuer-incp> (Profmgaste UPMC);rme /coiumep> &bcute;rgscanemeoGntéirdnBxr>Tr(Profmgaste Corall&egravgrave;Fpamce), Brunoe; ganop> (DirecoiteesciumeifogiqnE01lporeTechnos loes);rmeDidimreRLbcute;rey (Direcoitees pechercheaINRIA).-> p>> h3l">resurcplesh3l <-->

  • The.pdf">M manuscri
  • The.zipml">enilaoiteel et exampleian class="icofilo ="iconmackar">

  • >