Session type embedding for practical concurrent/distributed programming
Session type embedding for practical concurrent/distributed programming
用于实际并发/分布式编程的会话类型嵌入
批准号：
21K11827
负责人：
今井 敬吾
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2021
资助国家：
日本
项目状态：
已结题
起止时间：
2021-04-01 至 2024-03-31
中文摘要
翻译
今年度の実績は次の3点である:(1) 国際学会およびワークショップにおける発表．昨年度までの成果を，(1a) トップレベル国際会議TACAS 2022および，(1b) セッション型に関する発表が多く行われる国際ワークショップPLACES 2022で発表した．(2) セッション型のグローバル型に関する意味論を整理し，プログラミング言語 Coq で一部を定式化し国内研究会で発表した．これまでの意味論では扱えなかった，一部のノードのみが参加するループを含むプロトコルを扱えることが特徴であり，本研究が目指すより実用的な枠組みのための基礎理論を試行的に確立できた．論理的基盤として，トレース意味論の定式化にDagninoらの有界な余帰納法を用いた．(3) 本研究から派生して生まれた，プログラミング言語OCamlのアドホック多相に関する拡張について国内研究会で発表した（学生との共著）．
英文摘要
今年度の実績は次の3点である:(1) 国際学会およびワークショップにおける発表．昨年度までの成果を，(1a) トップレベル国際会議TACAS 2022および，(1b) セッション型に関する発表が多く行われる国際ワークショップPLACES 2022で発表した．(2) セッション型のグローバル型に関する意味論を整理し，プログラミング言語 Coq で一部を定式化し国内研究会で発表した．これまでの意味論では扱えなかった，一部のノードのみが参加するループを含むプロトコルを扱えることが特徴であり，本研究が目指すより実用的な枠組みのための基礎理論を試行的に確立できた．論理的基盤として，トレース意味論の定式化にDagninoらの有界な余帰納法を用いた．(3) 本研究から派生して生まれた，プログラミング言語OCamlのアドホック多相に関する拡張について国内研究会で発表した（学生との共著）．
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Verifying Session-Typed Concurrent Programs using Typed PPX in OCaml
在 OCaml 中使用类型化 PPX 验证会话类型化并发程序
在 OCaml 中使用类型化 PPX 验证会话类型化并发程序
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Keigo Imai, Julien Lange, Rumyana Neykova]
通讯作者：
Rumyana Neykova
伊藤 将希, 今井 敬吾
伊藤正树、今井圭吾
伊藤正树、今井圭吾
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Xinjing Zha, Yuan Li, Tingting Hu, Ryuji Fuchikami, and Takeshi Ikenaga, OCaml におけるプレースホルダ式によるアドホック多相の実現]
通讯作者：
OCaml におけるプレースホルダ式によるアドホック多相の実現
Royal Holloway, University of London/Brunel University London(英国)
伦敦大学皇家霍洛威学院/伦敦布鲁内尔大学（英国）
伦敦大学皇家霍洛威学院/伦敦布鲁内尔大学（英国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Imperial College London/Brunel University London/University of London Royal Holloway(英国)
伦敦帝国理工学院/伦敦布鲁内尔大学/伦敦大学皇家霍洛威学院（英国）
伦敦帝国理工学院/伦敦布鲁内尔大学/伦敦大学皇家霍洛威学院（英国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
The System SOL version 2022
系统 SOL 版本 2022
系统 SOL 版本 2022
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Makoto Hamana, Keigo Imai]
通讯作者：
Keigo Imai
共 13 条
海外基金