A reversible debugging model for real-time concurrent programs

一种实时并发程序的可逆调试模型

• 批准号: 17H01722
• 负责人: YUEN SHOJI
• 金额: $ 11.9万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2021-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H01722/
• 关键词: 可逆計算; 並行計算モデル; 並行プログラム; 可逆実行環境; 可逆デバッガ; 可逆計算実行環境; 可逆抽象機械; 逆方向デバッグ技法; 逆方向計算; 実時間プログラム; 通信プロセス計算; プログラミング言語; 通信プロセスモデル; 逆計算モデル; バックトラック逆計算; 構造操作意味規則; 因果無矛盾性; 並行計算; デバッグモデル; 離散時間モデル; 並行プログラミング言語; 計算モデル; 実時間性; ソフトウエア学; ソフトウェアデバッグ; 逆計算

项目成果

Multiparty Session Programming with Global Protocol Combinators

• DOI: 10.4230/darts.6.2.18
• 发表时间: 2020-05
• 期刊: ArXiv
• 作者: Keigo Imai;R. Neykova;N. Yoshida;Shoji Yuen

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

可逆计算案例研究：并发程序的可逆调试

• DOI: 10.1007/978-3-030-47361-7_5
• 发表时间: 2020
• 期刊: Lecture Notes in Computer Science
• 作者: Hoey James;Lanese Ivan;Nishida Naoki;Ulidowski Irek;Vidal Germ?n
• 通讯作者: Vidal Germ?n

ReverCSP: Time-Travelling in CSP Computations

• DOI: 10.1007/978-3-030-52482-1_14
• 发表时间: 2020-06-17
• 期刊: Reversible Computation
• 作者: Galindo C;Nishida N;Silva J;Tamarit S
• 通讯作者: Tamarit S

Reversible CSP Computations

可逆 CSP 计算

• DOI: 10.1109/tpds.2021.3051747
• 发表时间: 2021
• 期刊: IEEE Transactions on Parallel and Distributed Systems
• 影响因子: 5.3
• 作者: Galindo Carlos;Nishida Naoki;Silva Josep;Tamarit Salvador
• 通讯作者: Tamarit Salvador

University of Leicester(英国)

莱斯特大学（英国）