ReactiveML: a reactive extension to ML

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).

REFERENCES

• 1: R. Acosta-Bermejo. Reactive operating system, reactive java objects. In NOTERE'2000, Paris, November 2000. ENST.
• 2: R. Acosta-Bermejo. Rejo Langage d'Objets Réactifs et d'Agents. PhD thesis, Ecole des Mines de Paris, 2003.
• 3: F. Benbadis, M. Dias de Amorim, and S. Fdida. ELIP: Embedded location information protocol. In IFIP Networking 2005 Conference, 2005.
• 4: A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE, 2003.
• 5: G. Berry. The constructive semantics of esterel, 1998.
• 6: G. Boudol. ULM a core programming model for global computing. In Proceedings of the European Symposium on Programming, 2004.
• 7: Frédéric Boussinot, Reactive C: an extension of C to program reactive systems, Software—Practice & Experience, v.21 n.4, p.401-428, April 1991 [doi>10.1002/spe.4380210406]
• 8: F. Boussinot. Concurrent programming with Fair Threads: The LOFT language, 2003.
• 9: F. Boussinot. FairThreads: mixing cooperative and preemptive threads in C. Research report 5039, INRIA, 2003.
• 10: F. Boussinot. Reactive programming of cellular automata. Technical Report 5183, INRIA, 2004.
• 11: Frédéric Boussinot , Robert de Simone, The SL Synchronous Language, IEEE Transactions on Software Engineering, v.22 n.4, p.256-266, April 1996 [doi>10.1109/32.491649]
• 12: Frédéric Boussinot , Jean-Ferdy Susini, The sugarCubes tool box: a reactive Java framework, Software—Practice & Experience, v.28 n.14, p.1531-1550, Dec. 1998 [doi>10.1002/(SICI)1097-024X(19981210)28:14<1531::AID-SPE218>3.0.CO;2-U]
• 13: Frédéric Boussinot , Jean-Ferdinand Susini , Frédéric Dang Tran , Laurent Hazard, A reactive behavior framework for dynamic virtual worlds, Proceedings of the sixth international conference on 3D Web technology, p.69-75, February 2001, Paderbon, Germany [doi>10.1145/363361.363379]
• 14: Paul Caspi , Marc Pouzet, Synchronous Kahn networks, Proceedings of the first ACM SIGPLAN international conference on Functional programming, p.226-238, May 24-26, 1996, Philadelphia, Pennsylvania, United States
• 15: N. Halbwachs, P. Raymond, and C. Ratel. Generating efficient code from data-flow programs. In Third International Symposium on Programming Language Implementation and Logic Programming, Passau (Germany), August 1991.
• 16: L. Hazard, J-F. Susini, and F. Boussinot. The Junior reactive kernel. Research report 3732, INRIA, 1999.
• 17: E. Jahier, P. Raymond, and P. Baufreton. Case studies with Lurette V2. In Proceedings of the First International Symposium on Leveraging Applications of Formal Method, 2004.
• 18: G. Kahn. The semantics of a simple language for parallel programming. In IFIP 74 Congress. North Holland, Amsterdam, 1974.
• 19: X. Leroy. The Objective Caml system release 3.08. Documentation and user's manual. INRIA, 2004.
• 20: L. Mandel and F. Benbadis. Simulation of Mobile Ad hoc Network Protocols in ReactiveML. In Synchronous Languages, Applications, and Programming, Edinburgh, Scotland, April 2005. ENTCS.
• 21: L. Mandel and M. Pouzet. ReactiveML, a reactive extension to ML (extended version). http://www-spi.lip6.fr/~mandel/rml.
• 22: R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Science, 17:348--375, 1978.
• 23: Robin Milner, Communicating and mobile systems: the &pgr;-calculus, Cambridge University Press, New York, NY, 1999
• 24: Network in A Box. http://nab.epfl.ch/.
• 25: Benjamin C. Pierce, Types and programming languages, MIT Press, Cambridge, MA, 2002
• 26: Riccardo R. Pucella, Reactive Programming in Standard ML, Proceedings of the 1998 International Conference on Computer Languages, p.48, May 14-16, 1998
• 27: John H. Reppy, Concurrent programming in ML, Cambridge University Press, New York, NY, 1999
• 28: Manuel Serrano , Frédéric Boussinot , Bernard Serpette, Scheme fair threads, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.203-214, August 24-26, 2004, Verona, Italy [doi>10.1145/1013963.1013986]
• 29: Zhanyong Wan , Paul Hudak, Functional reactive programming from first principles, Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, p.242-252, June 18-21, 2000, Vancouver, British Columbia, Canada

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Lambda calculus and related systems

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Syntax; Semantics
      D.3.2 Language Classifications
          Subjects: Concurrent, distributed, and parallel languages; Applicative (functional) languages

General Terms:
Languages

Keywords:
functional programming, reactive programming, semantics