Home >

news Help

Publication Information


Title
Japanese:組込みシステム向けFRP言語に対する第一級関数の導入 
English: 
Author
Japanese: 横山陽彦, 渡部卓雄.  
English: Akihiko Yokoyama, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Mar. 8, 2019 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019) 
English: 
Conference site
Japanese:岩手県花巻市志戸平温泉 
English: 
Official URL https://jssst-ppl.org/workshop/2019/
 
Abstract メモリリソースの限られた小規模組込みシステム向け関数リアクティブプログラミング言語に対し，第一級関数の導入を行った．処理の抽象的な記述を高階関数によって可能にしつつ，実行時のメモリ使用量を静的に決定するための実行モデル，型システムを提案した．さらに一階の関数しか持たないようなプログラムへの変換方法を示した．また，高階関数を用いて抽象的な記述を行ったプログラムと，用いずに冗長な記述を行ったプログラムをマイコン環境にて実験，評価し第一級関数の使用に関しての検討を行った．

©2007 Tokyo Institute of Technology All rights reserved.