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のアドホック多相に関する拡張について国内研究会で発表した(学生との共著).
Three o'clock this year: (1) TACAS International Conference (TACAS 2022) (1B) there are many rows in the table of the domestic Research Association. The PLACES 2022 is in the middle of the world. (2) it means tidying up the table. It means tidying up the table. The purpose of this study is to make sure that the basic theory of the basic theory is based on the basic theory of the basic theory of the system, which means that the definition of the Dagnino is limited. (3) in this study, the purpose of this study is to make sure that the basic theory of basic theory is based on the theory of basic theory. (3) the purpose of this study is to make sure that the theory of basic theory is based on the theory of basic theory. I don't know what to say. I don't know. I don't know what to say. I don't know. I don't know.

项目成果

期刊论文数量(15)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Verifying Session-Typed Concurrent Programs using Typed PPX in OCaml
在 OCaml 中使用类型化 PPX 验证会话类型化并发程序
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Keigo Imai;Julien Lange;Rumyana Neykova
  • 通讯作者:
    Rumyana Neykova
伊藤 将希, 今井 敬吾
伊藤正树、今井圭吾
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Xinjing Zha;Yuan Li;Tingting Hu;Ryuji Fuchikami;and Takeshi Ikenaga;OCaml におけるプレースホルダ式によるアドホック多相の実現
  • 通讯作者:
    OCaml におけるプレースホルダ式によるアドホック多相の実現
Royal Holloway, University of London/Brunel University London(英国)
伦敦大学皇家霍洛威学院/伦敦布鲁内尔大学(英国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Imperial College London/Brunel University London/University of London Royal Holloway(英国)
伦敦帝国理工学院/伦敦布鲁内尔大学/伦敦大学皇家霍洛威学院(英国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
The System SOL version 2022
系统 SOL 版本 2022
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Makoto Hamana;Keigo Imai
  • 通讯作者:
    Keigo Imai
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

今井 敬吾其他文献

Mutable Variables and Reference Types -- or, L-values Demystified
可变变量和引用类型——或者说,L 值揭秘
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    伊藤 将希;今井 敬吾;Oleg Kiselyov
  • 通讯作者:
    Oleg Kiselyov
セッション型、簡潔に
基于会话,简洁
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    オレッグ キセリョーヴ;今井 敬吾
  • 通讯作者:
    今井 敬吾
セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
基于会话类型的高可靠网络程序的函数式语言实现方法
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    今井 敬吾;結縁 祥治;阿草 清滋
  • 通讯作者:
    阿草 清滋
レンズとモナドを用いた軽量な線形型付きプログラミング
使用镜头和单子的轻量级线性类型编程
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    今井 敬吾;Jacques Garrigue
  • 通讯作者:
    Jacques Garrigue
NUMA構成の計算機におけるメモリ操作速度に着目した評価
在具有 NUMA 配置的计算机上重点评估内存运行速度
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    伊藤 将希;今井 敬吾;Oleg Kiselyov;島谷 隼生,山内 利宏,谷口 秀夫,佐藤 将也
  • 通讯作者:
    島谷 隼生,山内 利宏,谷口 秀夫,佐藤 将也

今井 敬吾的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似海外基金

次世代モバイルコンピューティングのための通信と測位を融合する通信プロトコルの研究
下一代移动计算融合通信和定位的通信协议研究
  • 批准号:
    09J04171
  • 财政年份:
    2009
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
自律移動センシングロボットによるネットワークの通信プロトコルに関する研究
自主移动传感机器人网络通信协议研究
  • 批准号:
    08J10136
  • 财政年份:
    2008
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
スマートアンテナを利用するアドホックネットワーク通信プロトコルに関する研究
基于智能天线的自组织网络通信协议研究
  • 批准号:
    06J07000
  • 财政年份:
    2006
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
ユビキタス環境でのグループ通信プロトコルの設計と実装に関する研究
泛在环境下群组通信协议的设计与实现研究
  • 批准号:
    06J08999
  • 财政年份:
    2006
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
アドホックネットワークモビリティのための間欠的通信プロトコルの研究
自组织网络移动性间歇通信协议研究
  • 批准号:
    17700077
  • 财政年份:
    2005
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
不要電磁波解析による情報漏洩を防ぐセキュア無線通信プロトコルの開発
开发安全无线通信协议,防止由于不必要的电磁波分析而导致信息泄露
  • 批准号:
    17760325
  • 财政年份:
    2005
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
アドホックネットワークの実用化に向けた省電力通信プロトコルの研究
自组织网络实际应用的节能通信协议研究
  • 批准号:
    17300020
  • 财政年份:
    2005
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
アドホックネットワークにおける通信プロトコルに関する研究
自组网通信协议研究
  • 批准号:
    04J50672
  • 财政年份:
    2004
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
大規模ネットワークにおけるGridFTPのための通信プロトコルの研究開発
大型网络中GridFTP通信协议的研究与开发
  • 批准号:
    16016261
  • 财政年份:
    2004
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
耐不安定性を持つモバイルアドホックネットワークのための通信プロトコルの研究
不稳定移动自组织网络通信协议研究
  • 批准号:
    15700072
  • 财政年份:
    2003
  • 资助金额:
    $ 2.75万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了