AGERE2018 Talk

Posted on November 5, 2018

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.

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, DOI:10.1145/3281366.3281370, Nov., 2018.

The full-text of this paper is available without charge via ACM Author-Izer link.

ACM DL Author-ize serviceDistributed functional reactive programming on actor-based runtime
Kazuhiro Shibanai, Takuo Watanabe
AGERE 2018 Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, 2018