||Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems
Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems
澤田, 賢祐 ,
Sawada, Kensuke ,
渡部, 卓雄Watanabe, Takuo
54 , 2016-03 , ACM
In this paper, we introduce a new functional reactive programming (FRP) language Emfrp designed to support small-scale embedded systems. An Emfrp program defines a system as a fixed directed graph whose nodes correspond to the time-varying values in the system. The language equips a simple mechanism that enables each node to refer the past values of arbitrary nodes. Using this mechanism, Emfrp provides simplicity and flexibility for describing complex time-dependent reactive behaviors without space and time leaks. Our Emfrp compiler produces platform-independent ANSI-C code that can run on multiple processors including resource constrained microcontrollers. To demonstrate the capabilities of the language, we show a simple but non-trivial example application.