WCTP2023 Talk

Posted on December 4, 2023

Event by Timing: Periodic and Time-Sequencing Responses

Sosuke Moriguchi & Takuo Watanabe
12th Workshop on Computation: Theory and Practice (WCTP 2023), Chitose, Dec. 4-6, 2023.


Functional reactive programming (FRP) abstracts values that change over time as time-varying values and the timing of responses as events. Using these abstractions, reactive systems are described as data flows between time-varying values and the occurrence of events. In this paper, we propose TEFRP, a functional reactive programming language for embedded systems in which the data flow of time-varying values can be switched at each periodic timing. The ability to switch the update method at each timing facilitates the description of systems in which the responses change over time. Such systems include, for example, programs that display received data by turning LEDs on and off, and communication protocols that perform fixed pre-processing and post-processing. TEFRP treats the time from the start of execution as an event. Although events in typical FRP are assumed not to occur at the same time, timing descriptions may include the same timing. TEFRP allows logical coupling of periodic timings and actively uses such overlaps to improve descriptiveness. This paper also discusses methods of converting logical coupling to a simpler form.


Sosuke Moriguchi, Takuo Watanabe, Event by Timing: Periodic and Time-Sequencing Responses, in Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023), pp. 139-154, Atlantis Press, 2024. DOI: 10.2991/978-94-6463-388-7_10 (open access)