ReactiveML, a reactive extension to ML

PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn 2005, Issue , 2005, Pages 82-93

  Mandel, Louis ^a   Pouzet, Marc ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

Functional programming; Reactive programming; Semantics

Indexed keywords

COMPUTER SIMULATION; GRAPHICAL USER INTERFACES; LARGE SCALE SYSTEMS; LEARNING SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SEMANTICS; SYNCHRONIZATION;

ASYNCHRONOUS MODELS; FUNCTIONAL PROGRAMMING; INFERENCE SYSTEMS; REACTIVE PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33746032978     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1069774.1069782     Document Type: Conference Paper

References (29)

1. R. Acosta-Bermejo. Reactive operating system, reactive java objects. In NOTERE'2000, Paris, November 2000. ENST.
2. R. Acosta-Berrnejo. 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 8005 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. F. Boussinot. Reactive C: An extension of C to program reactive systems. Software Practice and Experience, 21(4);401-428, Apr 1991.
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. F. Boussinot and R. de Simone. The SL synchronous language. Software. Engineering, 22(4):256-266, 1996.
12. F. Boussinot and J-F. Susini. The sugarcubes tool box - a reactive java framework. Software. Practice and Experience, 28(14):1531-1550, 1908.
13. F. Boussinot, J-F. Susini, F. Dang Tran, and L. Hazard. A reactive behavior framework for dynamic; virtual worlds, In Proceedings of the sixth international conference on 3D Web technology, pages 69-75. ACM Press, 2001.
14. P. Caspi and M. Pouzet. Synchronous kahn networks. In ACM SIGPLAN International Conference on Functional, Programming, Philadelphia, Pensylvania, May 1996.
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. R. Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
24. Network in A Box. http://nab.epfl.ch/.
25. Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002.
26. R. Pucella. Reactive programming in Standard ML. In Proceedings of the IEEE International Conference on Computer Languages, pages 48-57. IEEE Computer Society Press, 1998.
27. John H. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
28. M. Serrano, F. Boussinot, and B. Serpette. Scheme fair threads. In Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 203-214, 2004.
29. Zhanyong Wan and Paul Hudak. Functional Reactive Programming from first principles. In Proc. ACM SIGPLAN'00 Conference on Programming Language Design and Implementation, 2000.