Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems 
著者
和文: 鈴木 康平, 永山 奏人, 澤田 賢祐, 渡部 卓雄.  
英文: Kohei Suzuki, Kanato Nagayama, Kensuke Sawada, Takuo Watanabe.  
言語 English 
掲載誌/書名
和文: 
英文:Theory and Practice of Computation 
巻, 号, ページ         pp. 1-13
出版年月 2017年12月1日 
出版者
和文: 
英文:World Scientific 
会議名称
和文: 
英文:Workshop on Computation: Theory and Practice (WCTP 2016) 
開催地
和文:セブ市 
英文:Cebu City 
公式リンク http://www.ttop.ipo.titech.ac.jp/wctp2016/
 
DOI https://doi.org/10.1142/9789813234079_0001
アブストラクト Functional reactive programming (FRP) is a programming paradigm for reactive systems based on functional abstractions to express time-varying values and events. In this paper, we show that FRP is beneficial for developing software for small-scale embedded systems. For this purpose, we designed and implemented CFRP, a strongly-typed, purely functional language that provides reactive programming facilities. Although its design follows the tradition of previous signal-based FRP languages, our compiler can generate standalone C++ code that can be deployed effectively on resource-constrained microcontrollers. Through an example, we show that CFRP supports a declarative, modular and clean manner of developing small-scale embedded systems.

©2007 Institute of Science Tokyo All rights reserved.