Home >

news Help

Publication Information


Title
Japanese: 
English:Event by Timing: Periodic and Time-Sequencing Responses 
Author
Japanese: 森口 草介, 渡部 卓雄.  
English: Sosuke Moriguchi, Takuo Watanabe.  
Language English 
Journal/Book name
Japanese: 
English:Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023) 
Volume, Number, Page         pp. 139-154
Published date Feb. 29, 2024 
Publisher
Japanese: 
English:Atlantis Press 
Conference name
Japanese: 
English:12th Workshop on Computation: Theory and Practice 
Conference site
Japanese: 
English:Chitose 
DOI https://doi.org/10.2991/978-94-6463-388-7_10
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.

©2007 Tokyo Institute of Technology All rights reserved.