Time Refinement in a Functional Synchronous Language

Louis Mandel 1, 2 Cédric Pasteur 2 Marc Pouzet 3
2 Parkas - Parallélisme de Kahn Synchrone
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : Concurrent and reactive systems often exhibit multiple time scales. For instance, in a discrete simulation, the scale at which agents communicate might be very different from the scale used to model the internals of each agent. We propose an extension of the synchronous model of concurrency, called reactive domains, to simplify the programming of such systems. Reactive domains allow the creation of local time scales and enable refinement, that is, the replacement of an approximation of a system with a more detailed version without changing its behavior as observed by the rest of the program. Our work is applied to the ReactiveML language, which extends ML with synchronous language constructs. We present an operational semantics for the extended language and a type system that ensures the soundness of programs.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-00850290
Contributor : Louis Mandel <>
Submitted on : Tuesday, August 6, 2013 - 10:11:10 AM
Last modification on : Thursday, February 7, 2019 - 2:42:21 PM
Document(s) archivé(s) le : Wednesday, April 5, 2017 - 7:34:17 PM

File

MandelPasteurPouzet-PPDP-2013....
Files produced by the author(s)

Identifiers

Collections

Citation

Louis Mandel, Cédric Pasteur, Marc Pouzet. Time Refinement in a Functional Synchronous Language. PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. pp.169-180, ⟨10.1145/2505879.2505904⟩. ⟨hal-00850290⟩

Share

Metrics

Record views

481

Files downloads

167