Embedded Systems Development Support with the Integration of the Actor-Model and Functional Reactive Programming

集成参与者模型和函数响应式编程的嵌入式系统开发支持

• 批准号: 18K11236
• 负责人: Watanabe Takuo
• 金额: $ 2.83万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2018
• 资助国家: 日本
• 起止时间: 2018-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K11236/
• 关键词: 関数リアクティブプログラミング; 関数プログラミング言語; 組込みシステム; 分散システム; アクターモデル; 型システム; プログラミング言語; 文脈指向プログラミング; プログラミング言語処理系; 形式手法

项目成果

A Multi-Language Implementation Method for Hygienic Macro Definition Mechanisms

卫生宏定义机制的多语言实现方法

• DOI: 10.11309/jssst.35.2_33
• 发表时间: 2018
• 期刊: Computer Software
• 作者: 高桑健太郎;渡部卓雄
• 通讯作者: 渡部卓雄

Functional Reactive Programming for Embedded Systems with GPGPUs

使用 GPGPU 的嵌入式系统的函数式反应式编程

• 发表时间: 2021
• 作者: Yoshitaka Sakurai;Sosuke Moriguchi;Takuo Watanabe
• 通讯作者: Takuo Watanabe

A Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems

小型嵌入式系统 FRP 语言的简单面向上下文编程扩展

• 发表时间: 2018
• 作者: Okubo Takao;Kaiya Haruhiko;Takuo Watanabe
• 通讯作者: Takuo Watanabe

Developing Coordinating Distributed Applications in a Pure FRP Language

使用纯 FRP 语言开发协调分布式应用程序

• 发表时间: 2020
• 作者: Takuo Watanabe;Kazuhiro Shibanai
• 通讯作者: Kazuhiro Shibanai

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

表达状态转换的嵌入式系统FRP语言设计

• 发表时间: 2020
• 作者: 松村有倫;渡部卓雄
• 通讯作者: 渡部卓雄