Synchronous Programming of Reactive Systems
No abstract available.
Related papers
- HipHop.js: (A)Synchronous reactive web programming PLDI 2020
- Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs CAV 2005
- Safe functional reactive programming through dependent types ICFP 2009
- Functional reactive programming, continued Haskell 2002
- Communicating Reactive Processes POPL 1993
- Reactive probabilistic programming PLDI 2020
- Synthesis of Asynchronous Reactive Programs from Temporal Specifications CAV 2018
- Fault-tolerant functional reactive programming (extended version) JFP 2020