Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)

Event by Timing: Periodic and Time-Sequencing Responses

Authors
Sosuke Moriguchi1, *, Takuo Watanabe1
1Department of Computer Science, Tokyo Institute of Technology, Tokyo, Japan
*Corresponding author. Email: chiguri@acm.org
Corresponding Author
Sosuke Moriguchi
Available Online 29 February 2024.
DOI
10.2991/978-94-6463-388-7_10How to use a DOI?
Keywords
functional reactive programming; periodic task; event-based programming
Abstract

Functional reactive programming (FRP in short) 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 time 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, time descriptions may include the same timing. TEFRP allows logical combinations of periodic timings and actively uses such overlaps to improve descriptiveness. This paper also discusses methods of converting logical combinations to simpler forms.

Copyright
© 2024 The Author(s)
Open Access
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (http://creativecommons.org/licenses/by-nc/4.0/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

Download article (PDF)

Volume Title
Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)
Series
Atlantis Highlights in Computer Sciences
Publication Date
29 February 2024
ISBN
978-94-6463-388-7
ISSN
2589-4900
DOI
10.2991/978-94-6463-388-7_10How to use a DOI?
Copyright
© 2024 The Author(s)
Open Access
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (http://creativecommons.org/licenses/by-nc/4.0/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

Cite this article

TY  - CONF
AU  - Sosuke Moriguchi
AU  - Takuo Watanabe
PY  - 2024
DA  - 2024/02/29
TI  - Event by Timing: Periodic and Time-Sequencing Responses
BT  - Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)
PB  - Atlantis Press
SP  - 139
EP  - 154
SN  - 2589-4900
UR  - https://doi.org/10.2991/978-94-6463-388-7_10
DO  - 10.2991/978-94-6463-388-7_10
ID  - Moriguchi2024
ER  -