Combining Unidirectional and Bidirectional Programming

结合单向和双向编程

• 批准号: 19K11892
• 负责人: Matsuda Kazutaka
• 金额: $ 2.91万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K11892/
• 关键词: プログラミング言語; 関数プログラミング; 領域特化言語; 双方向変換; プログラム合成; 可逆計算; 可逆プログラミング; 線形型システム; 型推論; 双方向プログラミング

项目成果

High-Level Language for Bidirectional Transformations: Experiences and Future Directions

双向转换的高级语言：经验和未来方向

• 发表时间: 2020
• 作者: 譜久山篤也;木原崇雄,;Mutsumi Kimura;Kazutaka Matsuda
• 通讯作者: Kazutaka Matsuda

Modular Inference of Linear Types for Multiplicity-Annotated Arrows

• DOI: 10.1007/978-3-030-44914-8_17
• 发表时间: 2020-04-18
• 期刊: Programming Languages and Systems
• 作者: Matsuda K

Sparcl: a language for partially-invertible computation

Spacl：一种用于部分可逆计算的语言

• DOI: 10.1145/3409000
• 发表时间: 2020
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Matsuda K

Synbit: synthesizing bidirectional programs using unidirectional sketches

Synbit：使用单向草图合成双向程序

• DOI: 10.1145/3485482
• 发表时间: 2021
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Yamaguchi Masaomi;Matsuda Kazutaka;David Cristina;Wang Meng
• 通讯作者: Wang Meng

本研究に関連の深い国際共同研究プロジェクトおよびその成果をまとめたウェブページ

总结与本研究密切相关的国际联合研究项目及其结果的网页。