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のアドホック多相に関する拡張について国内研究会で発表した(学生との共著).
This year's performance is three points:(1) International Society of Science and Technology. Last year's achievements include (1a) the International Conference TACAS 2022 and (1b) the International Conference TACAS 2022. (2)A study on the meaning of the three types of speech Coq has been carried out in China. This study aims to establish the basic theory of practical application of the theory. The logic of the base plate and the meaning of the theory of the formalization of Dagnino and the boundedness of the remainder of the method of application. (3)This study is based on the study of language OCaml and its polyphase relationship.
项目成果
期刊论文数量(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:
- 发表时间:
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 }}
相似海外基金
ASCENT: Heterogeneously Integrated and AI-Empowered Millimeter-Wave Wide-Bandgap Transmitter Array towards Energy- and Spectrum-Efficient Next-G Communications
ASCENT:异构集成和人工智能支持的毫米波宽带隙发射机阵列,实现节能和频谱高效的下一代通信
- 批准号:
2328281 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Standard Grant
Interferometric and Multiband optical Parametric Amplifiers for Communications (IMPAC)
用于通信的干涉式和多频带光学参量放大器 (IMPAC)
- 批准号:
EP/X031918/1 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Fellowship
Net Zero Communications for Extreme Environments
极端环境下的净零通信
- 批准号:
10111749 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Collaborative R&D
Design and Analysis of Holographic Optical Reconfigurable Intelligent Surface for Free-Space Optical Communications
自由空间光通信全息光学可重构智能表面设计与分析
- 批准号:
24K17272 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Conference: NSF Student Travel Grant for 2024 IEEE International Conference on Computer Communications (INFOCOM)
会议:2024 年 IEEE 国际计算机通信会议 (INFOCOM) 的 NSF 学生旅费资助
- 批准号:
2412574 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Standard Grant
COMET: Communications Enabled, AI/ML based Digital Twins for Smart city Logistics and Last Mile applications
COMET:支持通信、基于 AI/ML 的数字孪生,用于智慧城市物流和最后一英里应用
- 批准号:
10099265 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Collaborative R&D
6G-MUSICAL - 6G MUltiband Wireless and Optical Signalling for Integrated CommunicAtions, Sensing and Localization
6G-MUSICAL - 用于集成通信、传感和定位的 6G 多频带无线和光信号
- 批准号:
10093329 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
EU-Funded
DeepMARA - Deep Reinforcement Learning based Massive Random Access Toward Massive Machine-to-Machine Communications
DeepMARA - 基于深度强化学习的大规模随机访问实现大规模机器对机器通信
- 批准号:
EP/Y028252/1 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Fellowship
All Analogue Full-duplex Dual-receiver Radio for Wideband Mm-wave Communications
用于宽带毫米波通信的全模拟全双工双接收器无线电
- 批准号:
EP/X041581/1 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Research Grant
6G Terahertz Communications for Future Heterogeneous Wireless Network
面向未来异构无线网络的 6G 太赫兹通信
- 批准号:
EP/Y035135/1 - 财政年份:2024
- 资助金额:
$ 2.75万 - 项目类别:
Research Grant