publication . Conference object . Preprint . 2004

Reactive programming in Standard ML

Riccardo Pucella;
Open Access
  • Published: 23 May 2004
  • Publisher: IEEE Comput. Soc
Abstract
Comment: 11 pages; appeared in Proceedings of the IEEE International Conference on Computer Languages (ICCL'98), pp. 48-57, 1998
Persistent Identifiers
Subjects
free text keywords: Computer Science - Programming Languages, D.1.1, D.3.3, Procedural programming, Reactive programming, Reactive system, Programming paradigm, Declarative programming, Functional reactive programming, Inductive programming, Event-driven programming, Programming language, computer.software_genre, computer, Computer science
Related Organizations
29 references, page 1 of 2

[1] Ada 9X Mapping/Revision Team. Ada 95 Reference Manual. Intermetrics, Inc., 1995. ISO 8652:1995 (E).

[2] A. W. Appel and D. B. MacQueen. A Standard ML compiler. In Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 301-324. Springer-Verlag, 1987.

[3] D. Berry, R. Milner, and D. N. Turner. A semantics for ML concurrency primitives. In Conference Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages, pages 119-129. ACM Press, 1992.

[4] G. Berry. Preemption in concurrent systems. In Proceedings of FSTTCS'93, volume 761 of Lecture Notes in Computer Science, pages 72-93. Springer-Verlag, 1993.

[5] G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992. [OpenAIRE]

[6] F. Boussinot. Reactive C: An extension of C to program reactive systems. Software - Practice and Experience, 21(4):401-428, 1991.

[7] F. Boussinot. RC semantics using rewriting rules. Internal Report 18-92, ENSMP-CMA, 1992.

[8] F. Boussinot. Reactivity and atomicity. Internal Report 20-93, ENSMP-CMA, 1993.

[9] F. Boussinot and R. de Simone. The SL synchronous language. IEEE Transactions on Software Engineering, 22(4):256-266, 1996.

[10] F. Boussinot and L. Hazard. Reactive scripts. In Proceedings RTCSA'96. IEEE, 1996. [OpenAIRE]

[11] F. Boussinot and J-F. Susini. The SugarCubes tool box - definition, April 1997. Available at http://www.inria.fr/meije/rc/SugarCubes/.

[12] P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre, a declarative language for programming synchronous systems. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages. ACM Press, 1987. [OpenAIRE]

[13] P. Caspi and M. Pouzet. Synchronous Kahn networks. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming. ACM Press, 1996. [OpenAIRE]

[14] K. Claessen. A poor man's concurrency monad. To appear in Journal of Functional Programming, 1997.

[15] C. Elliott and P. Hudak. Functional reactive animation. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming. ACM Press, 1997. [OpenAIRE]

29 references, page 1 of 2
Any information missing or wrong?Report an Issue