組込みシステム向けFRP言語に対する第一級関数の導入

横山陽彦; 渡部卓雄

論文・著書情報

タイトル

和文:	組込みシステム向けFRP言語に対する第一級関数の導入
英文:

著者

和文:	横山陽彦, 渡部卓雄.
英文:	Akihiko Yokoyama, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2019年3月8日

出版者

和文:
英文:

会議名称

和文:	日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ(PPL 2019)
英文:

開催地

和文:	岩手県花巻市志戸平温泉
英文:

公式リンク

https://jssst-ppl.org/workshop/2019/

アブストラクト

メモリリソースの限られた小規模組込みシステム向け関数リアクティブプログラミング言語に対し，第一級関数の導入を行った．処理の抽象的な記述を高階関数によって可能にしつつ，実行時のメモリ使用量を静的に決定するための実行モデル，型システムを提案した．さらに一階の関数しか持たないようなプログラムへの変換方法を示した．また，高階関数を用いて抽象的な記述を行ったプログラムと，用いずに冗長な記述を行ったプログラムをマイコン環境にて実験，評価し第一級関数の使用に関しての検討を行った．

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報