Home >

news Help

Publication Information


Title
Japanese:小規模組込みシステム向けFRP言語に対する再帰的データ型の導入 
English: 
Author
Japanese: 横山陽彦, 森口草介, 渡部卓雄.  
English: Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Mar. 4, 2020 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第22回プログラミングおよびプログラミング言語ワークショップ(PPL 2020) 
English: 
Conference site
Japanese: 
English: 
Official URL https://jssst-ppl.org/workshop/2020/
 
Abstract 関数リアクティブプログラミング(FRP)言語Emfrpに対する再帰的なデータ型の導入手法を提案する． Emfrpはマイクロコントローラのような小規模システム向けに設計された純粋FRP言語である． この言語では，関数やデータ型の再帰的な定義を禁止する等の言語的制約を課すことで， 時変値の更新処理が停止することや実行時に必要なメモリサイズを静的に決定できることが保証される． 本研究では型に対してサイズの情報を含めることで，Emfrpの性質を維持しつつこの制約を緩和する手法を提案する．

©2007 Tokyo Institute of Technology All rights reserved.