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 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. 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.
Type de document :
Communication dans un congrès
PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, pp.169-180, 2013, <10.1145/2505879.2505904>
Liste complète des métadonnées


https://hal.inria.fr/hal-00850290
Contributeur : Louis Mandel <>
Soumis le : mardi 6 août 2013 - 10:11:10
Dernière modification le : jeudi 20 juillet 2017 - 09:25:47
Document(s) archivé(s) le : mercredi 5 avril 2017 - 19:34:17

Fichier

MandelPasteurPouzet-PPDP-2013....
Fichiers produits par l'(les) auteur(s)

Identifiants

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. ACM, pp.169-180, 2013, <10.1145/2505879.2505904>. <hal-00850290>

Partager

Métriques

Consultations de
la notice

340

Téléchargements du document

101