Combining Unidirectional and Bidirectional Programming
Combining Unidirectional and Bidirectional Programming
结合单向和双向编程
批准号：
19K11892
负责人：
Matsuda Kazutaka
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(18)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
High-Level Language for Bidirectional Transformations: Experiences and Future Directions
双向转换的高级语言：经验和未来方向
双向转换的高级语言：经验和未来方向
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[譜久山篤也, 木原崇雄,, Mutsumi Kimura, Kazutaka Matsuda]
通讯作者：
Kazutaka Matsuda
DOI：
10.1007/978-3-030-44914-8_17
发表时间：
2020-04-18
期刊：
Programming Languages and Systems
影响因子：
--
作者：
[Matsuda K]
通讯作者：
Matsuda K
Sparcl: a language for partially-invertible computation
Spacl：一种用于部分可逆计算的语言
Spacl：一种用于部分可逆计算的语言
DOI：
10.1145/3409000
发表时间：
2020
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
作者：
[Matsuda K]
通讯作者：
Matsuda K
Synbit: synthesizing bidirectional programs using unidirectional sketches
Synbit：使用单向草图合成双向程序
Synbit：使用单向草图合成双向程序
DOI：
10.1145/3485482
发表时间：
2021
期刊：
Proceedings of the ACM on Programming Languages
影响因子：
--
作者：
[Yamaguchi Masaomi, Matsuda Kazutaka, David Cristina, Wang Meng]
通讯作者：
Wang Meng
本研究に関連の深い国際共同研究プロジェクトおよびその成果をまとめたウェブページ
总结与本研究密切相关的国际联合研究项目及其结果的网页。
总结与本研究密切相关的国际联合研究项目及其结果的网页。
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 13 条
A Higher-Order Programming Language for Bidirectional Transformations
-
批准号：15K15966
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.08万
-
财政年份：2015
-
负责人：Matsuda Kazutaka
-
依托单位：
海外基金