ETNET2019 Talk

小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構

渡部卓雄, 松村有倫, 横山陽彦
組込み技術とネットワークに関するワークショップ(ETNET2019), 西之表市民会館, 2019年3月17-18日．

概要

マイクロコントローラ等の小規模組込みシステム向けに設計された関数リアクティブプログラミング(FRP)言語Emfrpのためのモジュール化機構について述べる．具体的には，実行時文脈に依存する振る舞いの宣言的な記述を可能にする文脈指向プログラミング(COP)機構と，状態に依存する処理のモジュール化手法，および高階関数から構成される．これらを用いることで，適応的な組込みシステムの宣言的かつ簡潔な記述および適切なモジュール化を可能にすることについて議論する．

論文

渡部卓雄, 松村有倫, 横山陽彦,
小規模組込みシステム向け関数リアクティブプログラミング言語のためのモジュール化機構,
情報処理学会研究報告(IPSJ SIG Technical Reports), Vol. 2019-EMB-50, No. 42, Mar., 2019.
http://id.nii.ac.jp/1001/00195145/