Home >

news Help

Publication Information


Title
Japanese: 
English:Bounded-Construction-Types for Functional Reactive Programming 
Author
Japanese: 横山 陽彦, 森口 草介, 渡部 卓雄.  
English: Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe.  
Language English 
Journal/Book name
Japanese: 
English:Philippine Computing Journal 
Volume, Number, Page Vol. 15    No. 2    pp. 24-35
Published date Dec. 1, 2020 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English:10th Workshop on Computation: Theory and Practice (WCTP 2020) 
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. Our new type system, named Bounded-Construction-Types (BCTs), enhances Emfrp by introducing recursive data types with size annotations yet the improved language keeps the static property mentioned above. In this paper, we formalize Emfrp extended with BCTs, present the algorithm for statically computing the runtime memory bounds, and prove its soundness.

©2007 Tokyo Institute of Technology All rights reserved.