Reactive C: an extension of C to program reactive systems
Software—Practice & Experience
Proceedings of the first ACM SIGPLAN international conference on Functional programming
The sugarCubes tool box: a reactive Java framework
Software—Practice & Experience
Concurrent programming in ML
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Functional reactive programming from first principles
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A reactive behavior framework for dynamic virtual worlds
Proceedings of the sixth international conference on 3D Web technology
Types and programming languages
Types and programming languages
IEEE Transactions on Software Engineering
Reactive Programming in Standard ML
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
ELIP: embedded location information protocol
NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Feasible reactivity in a synchronous Π-calculus
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Information and Computation
Extending Lustre with Timeout Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
On Affine Usages in Signal-Based Communication
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Executable Contracts for Incremental Prototypes of Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
SystemJ compilation using the tandem virtual machine approach
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Interactive Programming of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Typing termination in a higher-order concurrent imperative language
Information and Computation
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
What is in a step: new perspectives on a classical question
Time for verification
ACM Computing Surveys (CSUR)
Constructive semantics for instantaneous reactions
Theoretical Computer Science
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Reactive imperative programming with dataflow constraints
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Fair cooperative multithreading: typing termination in a higher-order concurrent imperative language
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Programming mixed music in ReactiveML
Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design
Time refinement in a functional synchronous language
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
A synchronous embedding of Antescofo, a domain-specific language for interactive mixed music
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |
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).