AGERE2018 Talk
Distributed Functional Reactive Programming on Actor-Based Runtime
Kazuhiro Shibanai & Takuo Watanabe
8th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2018), Boston, Nov. 5, 2018.
Abstract
Reactive programming over a network is a challenging task because efficient elimination of temporary violations of data flow invariants, known as glitches, in a distributed setting is still an open issue. In this paper, we propose a method for constructing a distributed reactive programming system of which runtime guarantees the properties of single source glitch-freedom and the robustness against out-of-order messages. Based on the method, we developed a purely functional reactive programming language XFRP whose compiler produces Erlang code. Using some examples, we show that the proposed method is beneficial for constructing distributed reactive applications without suffering from inconsistencies.
- Abstract (AGERE 2018 site)
Publication
Kazuhiro Shibanai & Takuo Watanabe, Distributed Functional Reactive Programming on Actor-Based Runtime, Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE ’18), ACM, pp. 13-22, Nov., 2018. DOI:10.1145/3281366.3281370,
The full-text of this paper is available without charge via this page (thanks to ACM Author-Izer Service).