WEKO3
アイテム
組込みシステム向け関数リアクティブプログラミング言語の内部DSLとしての実装
https://ipsj.ixsq.nii.ac.jp/records/204951
https://ipsj.ixsq.nii.ac.jp/records/204951a5571317-4c70-483a-8876-eea7d25c1d9e
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2020 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2020-06-19 | |||||||||||
タイトル | ||||||||||||
タイトル | 組込みシステム向け関数リアクティブプログラミング言語の内部DSLとしての実装 | |||||||||||
言語 | ||||||||||||
言語 | jpn | |||||||||||
キーワード | ||||||||||||
主題Scheme | Other | |||||||||||
主題 | 処理系と実行環境 | |||||||||||
資源タイプ | ||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
資源タイプ | technical report | |||||||||||
著者所属 | ||||||||||||
東京工業大学情報理工学院情報工学系 | ||||||||||||
著者所属 | ||||||||||||
東京工業大学情報理工学院情報工学系 | ||||||||||||
著者所属 | ||||||||||||
東京工業大学情報理工学院情報工学系 | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Department of Computer Science, School of Computing, Tokyo Institute of Technology | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Department of Computer Science, School of Computing, Tokyo Institute of Technology | ||||||||||||
著者所属(英) | ||||||||||||
en | ||||||||||||
Department of Computer Science, School of Computing, Tokyo Institute of Technology | ||||||||||||
著者名 |
辻, 裕太
× 辻, 裕太
× 森口, 草介
× 渡部, 卓雄
|
|||||||||||
論文抄録 | ||||||||||||
内容記述タイプ | Other | |||||||||||
内容記述 | 関数リアクティブプログラミング (FRP) は,時間とともに変化する値(時変値)間の依存関係を副作用のない式で表すことで,リアクティブな動作の宣言的な記述を支援するプログラミングパラダイムである.本研究では,組込みシステム向けに設計された FRP 言語 LRFRP を提案する.LRFRP はプログラミング言語 Rust 上の内部 DSL であり,Rust のマクロ機能を用いて実装されている.Rust プログラム中に埋め込まれた LRFRP のプログラムは,コンパイル時に Rust のモジュールに変換される.このモジュールは極めて限られたライブラリにのみ依存し,また Rust の機能を制限しない.そのため,組込みシステムをターゲットとする場合など,利用できるライブラリが限定された状況でも動作可能である.本稿では LRFRP の概要と実装方式について述べ,例を通してその有効性について議論する. | |||||||||||
書誌レコードID | ||||||||||||
収録物識別子タイプ | NCID | |||||||||||
収録物識別子 | AA12149313 | |||||||||||
書誌情報 |
研究報告組込みシステム(EMB) 巻 2020-EMB-54, 号 3, p. 1-8, 発行日 2020-06-19 |
|||||||||||
ISSN | ||||||||||||
収録物識別子タイプ | ISSN | |||||||||||
収録物識別子 | 2188-868X | |||||||||||
Notice | ||||||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
出版者 | ||||||||||||
言語 | ja | |||||||||||
出版者 | 情報処理学会 |