状態遷移を表現する組込みシステム向けFRP言語の設計

松村有倫; 渡部卓雄

論文・著書情報

タイトル

和文:	状態遷移を表現する組込みシステム向けFRP言語の設計
英文:

著者

和文:	松村有倫, 渡部卓雄.
英文:	Arimichi Matsumura, Takuo Watanabe.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2020年3月4日

出版者

和文:
英文:

会議名称

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

開催地

和文:
英文:

公式リンク

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

アブストラクト

組込みシステムの開発では非同期的な入力に対する応答処理と状態遷移に応じた振る舞いの変化が組み合わさることでプログラムが複雑になる．このようなシステムの記述を支援するため，本研究では小規模組込みシステムを対象とする関数リアクティブプログラミング（FRP）言語XStormを提案する．XStormは状態遷移を含むコンポーネントを記述するための言語機構を備えており，動的なメモリ管理を行うことなく実行時の振る舞いの変化を実現する．そのため，実行コードのメモリ使用量をコンパイル時に決定できる．提案する言語によって複雑な状態遷移を含むリアクティブなプログラムをモジュール化して記述できることを示す．

Home

各種検索

サポート

T2R2について

関連リンク

論文・著書情報