小規模組込みシステム向けFRP言語に対する再帰的データ型の導入

横山陽彦; 森口草介; 渡部卓雄

論文・著書情報

タイトル

和文:	小規模組込みシステム向けFRP言語に対する再帰的データ型の導入
英文:

著者

和文:	横山陽彦, 森口草介, 渡部卓雄.
英文:	Akihiko Yokoyama, Sosuke Moriguchi, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2020年3月4日

出版者

和文:
英文:

会議名称

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

開催地

和文:
英文:

公式リンク

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

アブストラクト

関数リアクティブプログラミング(FRP)言語Emfrpに対する再帰的なデータ型の導入手法を提案する． Emfrpはマイクロコントローラのような小規模システム向けに設計された純粋FRP言語である．この言語では，関数やデータ型の再帰的な定義を禁止する等の言語的制約を課すことで，時変値の更新処理が停止することや実行時に必要なメモリサイズを静的に決定できることが保証される．本研究では型に対してサイズの情報を含めることで，Emfrpの性質を維持しつつこの制約を緩和する手法を提案する．

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報