To: seminaire@pauillac.inria.fr From: Francois.Pottier@inria.fr Subject: SEM - INRIA : Cristal - 27/05/05 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E ___ . / ___ __ /_ _ / /| /| _ __ __ _ _ / / / /_ / __| / ----- / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Vendredi 27 mai, 10h30 ------------ Louis Mandel ------------ LIP6 ============================================ Reactive ML, une extension réactive de Ocaml ============================================ ReactiveML est un langage de programmation dédié à la programmation de systèmes réactifs (e.g., simulation de systèmes dynamiques, interfaces graphiques, jeux vidéo). Il est fondé sur le modèle "réactif synchrone" introduit par F. Boussinot. Ce modèle permet de combiner les principes du synchrone --- composition parallèle synchrone de processus, communication par diffusion --- et des mécanismes de création dynamique. Le langage est une extension conservative de Ocaml. Il ajoute des constructions supplémentaires pour décrire les comportements temporels des systèmes. Les programmes sont statiquement typés puis traduits en Ocaml. La première partie de cet exposé sera consacrée à la présentation du langage à partir d'un exemple. La seconde partie présentera la sémantique formelle de ReactiveML (sémantique opérationnelle, sémantique comportementale et système de type). Nous terminerons avec l'application à la simulation de réseaux mobiles ad-hoc.