WEKO3
アイテム
組込みシステム向けFRP言語における動的動作のための抽象化機構
https://ipsj.ixsq.nii.ac.jp/records/197776
https://ipsj.ixsq.nii.ac.jp/records/197776fba6bee8-ba74-4242-a2d3-d443c75ff855
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-EMB19051002.pdf (723.6 kB)
|
Copyright (c) 2019 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2019-06-14 | |||||||||
| タイトル | ||||||||||
| タイトル | 組込みシステム向けFRP言語における動的動作のための抽象化機構 | |||||||||
| 言語 | ||||||||||
| 言語 | 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 | ||||||||||
| 著者名 |
松村, 有倫
× 松村, 有倫
× 渡部, 卓雄
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | メモリ資源に制約のある小規模組込みシステムを対象とした関数リアクティブプログラミング (FRP) 言語である Emfrp に対し，システムの状態に応じた計算の動的な切り替えを行うための抽象化機構の導入を提案する．状態ごとに時変値と次状態の更新計算を記述できる機構を提供することで，FRP の枠組みの中で状態遷移を扱うことを可能にしている．この抽象化機構の導入によって，振る舞いが動的に変化するコンポーネントの表現が容易になることを例を通して示す． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA12149313 | |||||||||
| 書誌情報 |
研究報告組込みシステム（EMB） 巻 2019-EMB-51, 号 2, p. 1-2, 発行日 2019-06-14 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-868X | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
