Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
[connexion sécurisée]
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: http://rml.inria.fr

Software - Licence : LGPL



Research activities

Members

Group

Software & patents
DATACERT
DataCert: A coq library for Data Intensive Languages and Systems Certification

PINT
Formal analysis of dynamics for large-scale biological networks

MAGMA
Contribution to numerical linear algebra libraries