Skip to Main content Skip to Navigation
Conference papers

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
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
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
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Louis Mandel Connect in order to contact the contributor
Submitted on : Tuesday, August 6, 2013 - 10:11:10 AM
Last modification on : Sunday, June 26, 2022 - 11:59:28 AM
Long-term archiving on: : Wednesday, April 5, 2017 - 7:34:17 PM


Files produced by the author(s)




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⟩



Record views


Files downloads