Time Refinement in a Functional Synchronous Language

Marc Pouzet 1, 2 Cédric Pasteur 1 Louis Mandel 1
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : Concurrent and reactive systems often exhibit multiple time scales. This situation occurs, for instance, in the discrete simulation of a sensor network where the time scale at which agents communicate is very different from the time scale used to model the internals of an agent. The paper presents reactive domains to simplify the programming of such systems. Reactive domains allow for several time scales to be defined and they enable time refinement, that is, the replacement of a system with a more detailed version, without changing its observed behavior. Our work applies to the ReactiveML language, which extends an ML language with synchronous programming constructs a la Esterel. We present an operational semantics for the extended language, a type system that ensures the soundness of programs, and a sequential implementation. We discuss how reactive domains can be used in a parallel implementation.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01242733
Contributeur : Marc Pouzet <>
Soumis le : lundi 14 décembre 2015 - 08:01:47
Dernière modification le : mercredi 28 septembre 2016 - 14:04:39

Identifiants

  • HAL Id : hal-01242733, version 1

Collections

Citation

Marc Pouzet, Cédric Pasteur, Louis Mandel. Time Refinement in a Functional Synchronous Language. Science of Computer Programming, Elsevier, 2015. <hal-01242733>

Partager

Métriques

Consultations de la notice

164