ReactiveML
ReactiveML is a programming language dedicated to the implementation of interactive systems as found in graphical user interfaces, video games or simulation problems. ReactiveML is based on the synchronous reactive model
of Boussinot embedded in an ML language (here Objective Caml).
The synchronous reactive model provides synchronous parallel composition and dynamic features like the dynamic creation of processes. In ReactiveML, the reactive model is integrated at the language level (not as a library) which leads to a safer and a more natural programming.
Getting ReactiveML
Source distribution is available:
Warning: incompatible changes with previous versions are marked with *: changes
Documentation and Examples
Publications
-
Interactive Programming of Reactive Systems. Louis Mandel and Florence Plateau
Model-driven High-level Programming of Embedded Systems (SLA++P 2008)
[ bib |
.pdf |
html ]
-
ReactiveML : un langage fonctionnel pour la programmation réactive. Louis Mandel and Marc Pouzet
Technique et Science Informatiques (TSI 2007)
[ bib |
.pdf ]
-
Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive. Louis Mandel
Thèse de doctorat de l'université Paris 6, 2006
[ bib |
.ps.gz |
.pdf ]
-
ReactiveML, a Reactive Extension to ML. Louis Mandel and Marc Pouzet
Principles and Practice of Declarative Programming (PPDP 2005)
[ bib |
.pdf |
extended version .pdf ]
-
Simulation of Mobile Ad hoc Network Protocols in ReactiveML. Louis Mandel and Farid Benbadis
Synchronous Languages, Applications, and Programming (SLAP 2005)
[ bib |
.pdf |
html ]
Full list of publications
Contacts
Mailing-list: send me an email to subscribe (louis.mandel@lri.fr)
Bugs: bugs@reactiveml.org
Developers: devel@reactiveml.org
People
Louis Mandel - Laboratoire de Recherche en Informatique
Marc Pouzet - Laboratoire de Recherche en Informatique
Contributors
Matthieu Carlier (2004): Examples
Sarah Maarek (2004): Emacs mode
Florence Plateau
Links