サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入

白井瑞貴; 横山陽彦; 森口草介; 渡部卓雄

論文・著書情報

タイトル

和文:	サイズ情報を伴った再帰データ型を扱う小規模組込みシステム向けFRP言語へのパラメータ多相の導入
英文:

著者

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

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2022年3月6日

出版者

和文:
英文:

会議名称

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

開催地

和文:
英文:

公式リンク

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

アブストラクト

本研究では、型にサイズ情報を付与することで実行時の使用メモリ量を静的に決定できるプログラミング言語EmfrpBCTにパラメータ多相を導入した言語EmfrpPBCTを提案した。EmfrpBCTでは冗長な記述になる例題が、EmfrpPBCTではパラメータ多相を用いて簡潔に記述できることを示した。また、EmfrpPBCTの構文、操作的意味論、型システム、使用メモリ量決定アルゴリズムを形式的に定義し、健全性を証明した。さらに、例題をEmfrpBCTとEmfrpPBCTでそれぞれ記述してコンパイル結果のバイナリサイズや実行時間の比較を行った。

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報