Time Refinement in a Functional Synchronous Language
| Autor: | Louis Mandel, Cédric Pasteur, Marc Pouzet |
|---|---|
| Přispěvatelé: | Parallélisme de Kahn Synchrone (Parkas ), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université Paris sciences et lettres (PSL), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Inria Paris-Rocquencourt, Pouzet, Marc |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: |
Theoretical computer science
Scale (ratio) Computer science Semantics (computer science) Concurrency 02 engineering and technology [INFO] Computer Science [cs] computer.software_genre Operational semantics 0202 electrical engineering electronic engineering information engineering synchronous languages [INFO]Computer Science [cs] Discrete event simulation Reactive system computer.programming_language Soundness Functional programming [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] Programming language type systems 020207 software engineering ML Esterel 020202 computer hardware & architecture Reactive systems compilation computer Software Functional reactive programming |
| Zdroj: | Science of Computer Programming Science of Computer Programming, 2015 PPDP '13-15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming 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⟩ PPDP Science of Computer Programming, Elsevier, 2015 |
| ISSN: | 0167-6423 |
| DOI: | 10.1145/2505879.2505904⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect