WCTP2020 Talks

Posted on November 21, 2020

Bounded-Construction-Types for Functional Reactive Programming

Akihiko Yokoyama, Sosuke Moriguchi & Takuo Watanabe
10th Workshop on Computation: Theory and Practice (WCTP 2020), Online, Nov. 21, 2020.

Abstract

We introduce a new type system to Emfrp, a functional reactive programming language designed for resource-constrained embedded systems. To ensure such property that the language can statically determine the amount of runtime memory and guarantee the termination of reactive actions, it disallows the use of recursive data types and functions. However, such restrictions often impose unnatural representations of data structures and algorithms used in various applications. Our new type system, named Bounded-Construction-Types (BCTs), enhances Emfrp by introducing recursive data types with size annotations yet the improved language keeps the static property mentioned above. In this paper, we formalize Emfrp extended with BCTs, present the algorithm for statically computing the runtime memory bounds, and prove its soundness.

Publication

Akihiko Yokoyama, Sosuke Moriguchi & Takuo Watanabe, Bounded-Construction-Types for Functional Reactive Programming, Philippine Computing Journal, Vol. 15, No. 2, pp. 24-35, Dec., 2020.
https://pcj.csp.org.ph/index.php/pcj/issue/view/32


Developing Coordinating Distributed Applications in a Pure FRP Language

Takuo Watanabe
10th Workshop on Computation: Theory and Practice (WCTP 2020), Online, Nov. 21, 2020.

Abstract

This paper discusses how coordinating distributed systems can be expressed using a pure functional reactive programming (FRP) language designed for distributed applications. FRP provides functional abstractions for values changing over time, with which reactive behaviors can be naturally described. Since each computational node in a coordinating distributed system can be seen as a reactive component, FRP is well suited for describing the intra-node computation. Via a case study of a wireless sensor-actor network (WSAN), this paper shows that both inter-node coordination and intra-node computation can be uniformly described using the language.

Publication

Takuo Watanabe, Developing Coordinating Distributed Applications in a Pure FRP Language, Philippine Computing Journal, Vol. 15, No. 2, pp. 19-23, Dec., 2020.
https://pcj.csp.org.ph/index.php/pcj/issue/view/32