More Web Proxy on the site http://driver.im/

research-article

ReactiveML, ten years later

Authors:

Cédric Pasteur,

Marc PouzetAuthors Info & Claims

PPDP '15: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

Pages 6 - 17

https://doi.org/10.1145/2790449.2790509

Published: 14 July 2015 Publication History

Abstract

Ten years ago we introduced ReactiveML, an extension of a strict ML language with synchronous parallelism à la Esterel to program reactive applications. Our purpose was to demonstrate that synchronous language principles, originally invented and used for critical real-time control software, would integrate well with ML and prove useful in a wider context: reactive applications with complex data structures and sequential algorithms, organized as a dynamically evolving set of tightly synchronized parallel tasks.

While all ReactiveML programs presented at PPDP'05 still compile, the language has evolved continuously to incorporate novel programming constructs, compilation techniques and dedicated static analyses. ReactiveML has been used for applications that we never anticipated: the simulation of large-scale ad-hoc and sensor networks, an interactive debugger, and interactive mixed music. These applications were only possible due to the efficient compilation of ReactiveML into sequential code, which we present here for the first time. We also present a parallel implementation that uses work-stealing techniques through shared memory. Finally, we give a retrospective view on ReactiveML over the past ten years.

References

[1]

J. Arias, M. Desainte-Catherine, S. Salvati, and C. Rueda. Executing hierarchical interactive scores in ReactiveML. In Journées d'Informatique Musicale, 2014.

[2]

G. Baudart, F. Jacquemard, L. Mandel, and M. Pouzet. A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music. In Thirteen International Conference on Embedded Software, 2013.

Digital Library

[3]

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64--83, 2003.

[4]

G. Berry. Esterel on hardware. In Mechanized reasoning and hardware design, pages 87--104. Prentice-Hall, Upper Saddle River, NJ, 1992.

Digital Library

[5]

G. Berry. Preemption in concurrent systems. In Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, pages 72--93, 1993.

Digital Library

[6]

G. Berry. The constructive semantics of pure Esterel, 1996.

[7]

G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, and R. de Simone. Esterel: a formal method applied to avionic software development. Science of Computer Programming, 36(1):5--25, 2000.

Digital Library

[8]

G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87--152, 1992.

Digital Library

[9]

G. Berry, C. Nicolas, and M. Serrano. Hiphop: a synchronous reactive extension for Hop. In Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, pages 49--56. ACM, 2011.

Digital Library

[10]

F. Boussinot. Reactive C: an extension of C to program reactive systems. Software: Practice and Experience, 21(4):401--428, 1991.

Digital Library

[11]

F. Boussinot. Reactive Programming of Cellular Automata. RR 5183, INRIA, 2004.

[12]

F. Boussinot. Fairthreads: Mixing cooperative and preemptive threads in C. Concurrency and Computation: Practice and Experience, 18(5):445--469, 2006.

Digital Library

[13]

F. Boussinot and R. de Simone. The SL synchronous language. IEEE Trans. Softw. Eng., 22(4), 1996.

Digital Library

[14]

F. Boussinot and J.-F. Susini. The SugarCubes tool box: A reactive Java framework. Software Practice and Experience, 28(4):1531--1550, 1998.

Digital Library

[15]

P. Caspi and M. Pouzet. Synchronous Kahn Networks. In ACM SIGPLAN International Conference on Functional Programming (ICFP), 1996.

Digital Library

[16]

D. Chase and Y. Lev. Dynamic circular work-stealing deque. In Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures, pages 21--28. ACM, 2005.

Digital Library

[17]

C. Deleuze. Programmation réactive en OCaml. Journal Européen des Systèmes Automatisés, 43(7-8-9):757--771, 2009.

[18]

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305--1320, 1991.

[19]

L. Hazard. Simple. An efficient implementation of Junior.

[20]

L. Hazard, J.-F. Susini, and F. Boussinot. The Junior reactive kernel. RR 3732, INRIA, 1999.

[21]

M. Herlihy and N. Shavit. The Art of Multiprocessor Programming. Morgan Kaufmann, 2008.

Digital Library

[22]

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system release 4.02 Documentation and user's manual. INRIA, 2014.

[23]

L. Mandel. Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive. PhD thesis, Université Paris 6, 2006.

[24]

L. Mandel and F. Benbadis. Simulation of mobile ad hoc network protocols in ReactiveML. In Proceedings of Synchronous Languages, Applications, and Programming. Electronic Notes in Theoretical Computer Science, 2005.

[25]

L. Mandel and C. Pasteur. Reactivity of cooperative systems. In Proceedings of 21st International Static Analysis Symposium, 2014.

[26]

L. Mandel, C. Pasteur, and M. Pouzet. Time Refinement in a Functional Synchronous Language. In 15th International Symposium on Principles and Practice of Declarative Programming, 2013.

Digital Library

[27]

L. Mandel and F. Plateau. Interactive programming of reactive systems. In Proceedings of Model-driven High-level Programming of Embedded Systems, 2008.

[28]

L. Mandel and M. Pouzet. ReactiveML, a reactive extension to ML. In Proceedings of 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, 2005.

Digital Library

[29]

D. Potop-Butucaru, S. Edwards, and G. Berry. Compiling Esterel. Springer, 2007.

Digital Library

[30]

M. Pouzet. Lucid Synchrone, version 3. Tutorial and reference manual. Université Paris-Sud, LRI, 2006.

[31]

C. Reynolds. Flocks, herds and schools: A distributed behavioral model. In ACM SIGGRAPH Computer Graphics, volume 21, pages 25--34. ACM, 1987.

Digital Library

[32]

J. Reynolds. The Discoveries of Continuations. Lisp and Symbolic Computation, 6(3/4):233--248, 1993.

Digital Library

[33]

L. Samper, F. Maraninchi, L. Mounier, and L. Mandel. GLONEMO: Global and accurate formal models for the analysis of ad hoc sensor networks. In Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks, 2006.

Digital Library

[34]

J. Vouillon. Lwt: a cooperative thread library. In Proceedings of the 2008 ACM SIGPLAN workshop on ML, pages 3--12. ACM, 2008.

Digital Library

[35]

P. Wadler. Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, 73:231--248, 1990.

Digital Library

[36]

Z. Wan and P. Hudak. Functional reactive programming from first principles. In International Conference on Programming Language, Design and Implementation, 2000.

Digital Library

[37]

M. Wand. Continuation-based multiprocessing. In Proceedings of the 1980 ACM Conference on LISP and Functional Programming, 1980.

Digital Library

Cited By

Serrano MFindler R(2024)The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)Proceedings of the ACM on Programming Languages10.1145/36746318:ICFP(177-202)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.1145/3674631
Hui JEdwards S(2024)The Sparse Synchronous Model on Real HardwareACM Transactions on Embedded Computing Systems10.1145/357292023:5(1-30)Online publication date: 14-Aug-2024
https://dl.acm.org/doi/10.1145/3572920
Lohstroh MMenard CBateni SLee E(2021)Toward a Lingua Franca for Deterministic Concurrent SystemsACM Transactions on Embedded Computing Systems10.1145/344812820:4(1-27)Online publication date: 18-May-2021
https://dl.acm.org/doi/10.1145/3448128
Show More Cited By

Index Terms

ReactiveML, ten years later
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
    2. General programming languages
      1. Language features
        Concurrent programming structures
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

ReactiveML: a reactive extension to ML
PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming

We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems. The language is based on the reactive model introduced by Boussinot. ...
MetaOCaml: Ten Years Later: System Description
Functional and Logic Programming
Abstract
MetaOCaml is a superset of OCaml for convenient code generation with static guarantees: the generated code is well-formed, well-typed and well-scoped, by construction. Not only the completed generated code always compiles; code fragments with a ...
Programming Languages The First 25 Years

The programming language field is certainly one of the most important subfields of computer science. It is rich in concepts, theories, and practical developments. The present paper attempts to trace the 25 year development of programming languages by ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

PPDP '15: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

July 2015

263 pages

ISBN:9781450335164

DOI:10.1145/2790449

Conference Chair:
Moreno Falaschi
University of Siena, Italy
,
Program Chair:
Elvira Albert
Complutense University of Madrid, Spain

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 14 July 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

PPDP '15

PPDP '15: 17th International Symposium on Principles and Practice of Declarative Programming

July 14 - 16, 2015

Siena, Italy

Acceptance Rates

Overall Acceptance Rate 230 of 486 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
88
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Serrano MFindler R(2024)The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)Proceedings of the ACM on Programming Languages10.1145/36746318:ICFP(177-202)Online publication date: 15-Aug-2024
https://dl.acm.org/doi/10.1145/3674631
Hui JEdwards S(2024)The Sparse Synchronous Model on Real HardwareACM Transactions on Embedded Computing Systems10.1145/357292023:5(1-30)Online publication date: 14-Aug-2024
https://dl.acm.org/doi/10.1145/3572920
Lohstroh MMenard CBateni SLee E(2021)Toward a Lingua Franca for Deterministic Concurrent SystemsACM Transactions on Embedded Computing Systems10.1145/344812820:4(1-27)Online publication date: 18-May-2021
https://dl.acm.org/doi/10.1145/3448128
Lohstroh MLee E(2019)Deterministic Actors2019 Forum for Specification and Design Languages (FDL)10.1109/FDL.2019.8876922(1-8)Online publication date: Sep-2019
https://doi.org/10.1109/FDL.2019.8876922
Baudart GHirzel MMandel LShinnar ASiméon JSalvaneschi GDe Meuter WEugster PZiarek LSant’Anna F(2018)Reactive chatbot programmingProceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems10.1145/3281278.3281282(21-30)Online publication date: 4-Nov-2018
https://dl.acm.org/doi/10.1145/3281278.3281282
Margara ASalvaneschi G(2018)On the Semantics of Distributed Reactive Programming: The Cost of ConsistencyIEEE Transactions on Software Engineering10.1109/TSE.2018.283310944:7(689-711)Online publication date: 1-Jul-2018
https://doi.org/10.1109/TSE.2018.2833109
Cano MArias JPérez J(2017)Session-Based Concurrency, ReactivelyFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-319-60225-7_6(74-91)Online publication date: 28-May-2017
https://doi.org/10.1007/978-3-319-60225-7_6

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents