@techreport{oai:ipsj.ixsq.nii.ac.jp:00226821,
 author = {十河, 健人 and 辻, 裕太 and 森口, 草介 and 渡部, 卓雄},
 issue = {2},
 month = {Jul},
 note = {関数リアクティブプログラミング (FRP) は GUI や組込みシステムなどのリアクティブシステムを記述するためのプログラミングパラダイムであり，時間と共に変化する値の抽象化である時変値を宣言的に組み合わせることによってプログラムを記述する．Emfrp は小規模組込みシステム向け FRP 言語であるが，特定のタイミングで更新処理を行うといった離散的な振る舞いを持つ時変値の記述やそのような時変値を持つプログラムの実行効率に課題がある．PbEmfrp は，これらの課題の解決のため Emfrp に対して周期的タスクに関する拡張を行った言語である．PbEmfrp では，各時変値の更新が周期的なタイミングで行われることを仮定し，タイミングを表現する型を導入することで周期的タスクのより簡潔な記述が可能となった．本研究では，PbEmfrp に対して非周期的なイベントも扱えるよう拡張した EvEmfrp を提案する．拡張された構文や型システムの定義，周期的タスクと非周期的なイベントを同時に扱うためのより適切なランタイムの生成手法を説明し，実装した処理系を用いた評価実験により EvEmfrp の有用性を示す．},
 title = {小規模組込みシステム向けFRP言語における離散イベント機構の導入とその評価},
 year = {2023}
}