Combining Unidirectional and Bidirectional Programming
结合单向和双向编程
基本信息
- 批准号：19K11892
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2019
- 资助国家：日本
- 起止时间：2019-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（18）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
High-Level Language for Bidirectional Transformations: Experiences and Future Directions
双向转换的高级语言：经验和未来方向
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：譜久山篤也;木原崇雄,;Mutsumi Kimura;Kazutaka Matsuda
- 通讯作者：Kazutaka Matsuda
Sparcl: a language for partially-invertible computation
Spacl：一种用于部分可逆计算的语言
- DOI：10.1145/3409000
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Matsuda K
- 通讯作者：Matsuda K
Modular Inference of Linear Types for Multiplicity-Annotated Arrows
- DOI：10.1007/978-3-030-44914-8_17
- 发表时间：2020-04-18
- 期刊：
- 影响因子：0
- 作者：Matsuda K
- 通讯作者：Matsuda K
Synbit: synthesizing bidirectional programs using unidirectional sketches
Synbit：使用单向草图合成双向程序
- DOI：10.1145/3485482
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Yamaguchi Masaomi;Matsuda Kazutaka;David Cristina;Wang Meng
- 通讯作者：Wang Meng
{{
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 }}
Matsuda Kazutaka其他文献
Matsuda Kazutaka的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Matsuda Kazutaka', 18)}}的其他基金
A Higher-Order Programming Language for Bidirectional Transformations
用于双向转换的高阶编程语言
- 批准号：
15K15966 - 财政年份：2015
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
次世代の高機能量子プログラミング言語の設計と、特に変数の扱いに関する理論的研究
下一代高性能量子编程语言的设计特别是变量处理的理论研究
- 批准号：
23KJ1372 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Development of a dynamic and friendly program visualization for learning materials of functional programming
开发动态且友好的程序可视化，用于函数式编程的学习材料
- 批准号：
22K12320 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
High-Level Bidirectional-Transformation-Network Programming Langauge for Synchronization of Multiple Data
用于同步多个数据的高级双向转换网络编程语言
- 批准号：
22H03562 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
消費電力をパラメータとする関数リアクティブプログラミングの研究
以功耗为参数的函数式反应式编程研究
- 批准号：
22K11967 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Session type embedding for practical concurrent/distributed programming
用于实际并发/分布式编程的会话类型嵌入
- 批准号：
21K11827 - 财政年份：2021
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)