ReactiveML, a Reactive Extension to ML

Louis Mandel 1 Marc Pouzet 1
1 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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. This model combines the so-called synchronous model found in Esterel which provides instantaneous communication and parallel composition with classical features found in asynchronous models like dynamic creation of processes.The language comes as a conservative extension of an existing call-by-value ML language and it provides additional constructs for describing the temporal part of a system. The language receives a behavioral semantics á la Esterel and a transition semantics describing precisely the interaction between ML values and reactive constructs. It is statically typed through a Milner type inference system and programs are compiled into regular ML programs. The language has been used for programming several complex simulation problems (e.g., routing protocols in mobile ad-hoc networks).
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01489747
Contributor : Lip6 Publications <>
Submitted on : Tuesday, March 14, 2017 - 3:56:39 PM
Last modification on : Thursday, March 21, 2019 - 12:59:33 PM

Identifiers

Citation

Louis Mandel, Marc Pouzet. ReactiveML, a Reactive Extension to ML. PPDP 2005 - ACM International Conference on Principles and Practice of Declarative Programming, Jul 2005, Lisboa, Portugal. pp.82-93, ⟨10.1145/1069774.1069782⟩. ⟨hal-01489747⟩

Share

Metrics

Record views

66