Time Refinement in a Functional Synchronous Language - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Time Refinement in a Functional Synchronous Language

Cédric Pasteur
  • Function : Author
  • PersonId : 935736
Marc Pouzet
  • Function : Author
  • PersonId : 916467


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.
Fichier principal
Vignette du fichier
MandelPasteurPouzet-PPDP-2013.pdf (487.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00850290 , version 1 (06-08-2013)



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⟩
239 View
205 Download



Gmail Facebook X LinkedIn More