Reactive Programming in Standard ML

Preprint English OPEN
Pucella, Riccardo;

Reactive systems are systems that maintain an ongoing interaction with their environment, activated by receiving input events from the environment and producing output events in response. Modern programming languages designed to program such systems use a paradigm based... View more
  • References (29)
    29 references, page 1 of 3

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

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

  • Metrics
Share - Bookmark