Home >

news Help

Publication Information


Title
Japanese:小規模組込みシステム向けFRP言語のための再帰データ型 
English:Recursive Data Types for an FRP language for Small-scale Embbeded Systems 
Author
Japanese: 横山陽彦, 森口草介, 渡部卓雄.  
English: Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Mar. 16, 2021 
Publisher
Japanese: 
English: 
Conference name
Japanese:情報処理学会 第133回プログラミング研究発表会 
English:IPSJ SIGPRO 133 
Conference site
Japanese: 
English: 
Abstract We introduce a new type system to Emfrp, a functional reactive programming language designed for resource-constrained embedded systems. To ensure such property that the language can statically determine the amount of runtime memory and guarantee the termination of reactive actions, it disallows the use of recursive data types and functions. However, such restrictions often impose unnatural representations of data structures and algorithms used in various applications. The declarative manner of FRP and these restriction force us to write redundant code or not to write certain kinds of programs. In this presentation, we propose EmfrpBCT, extended Emfrp with size annotated recursive data types, to overcome this problem. It is more expressive than Emfrp yet keeps the static property mentioned above. We formalize EmfrpBCT, present the algorithm for statically computing the runtime memory bounds, and prove its soundness. Moreover, we implement a compiler from EmfrpBCT to C, measure translation time, and evaluate runtime overheads.

©2007 Tokyo Institute of Technology All rights reserved.