Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
Software ReactiveML
ReactiveML - The ReactiveML language
Date of the last release: 08 January 2014

Person in charge : MANDEL Louis

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.

More information:

Software - Licence : LGPL

Research activities



Software & patents
Static analyzer for dynamics of Automata Networks

A GraphViz/DOT Viewer

Zoomable Visual Transformation Machine