A Higher-Order Programming Language for Bidirectional Transformations

用于双向转换的高阶编程语言

• 批准号: 15K15966
• 负责人: Matsuda Kazutaka
• 金额: $ 2.08万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15K15966/
• 关键词: プログラミング言語; 関数プログラミング; プログラム変換; 領域特化言語; 双方向変換; 双方向プログラミング; 可逆プログラミング

项目成果

研究代表者のWebページ

研究代表的网页

Applicative bidirectional programming

应用双向编程

• DOI: 10.1017/s0956796818000096
• 发表时间: 2018
• 期刊: Journal of Functional Programming
• 影响因子: 1.1
• 作者: Kazutaka Matsuda;Meng Wang
• 通讯作者: Meng Wang

Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations

基于迹线的双向图转换可编辑性和对应分析方法

• 发表时间: 2015
• 期刊: CEUR Workshop Proceedings
• 作者: Soichiro Hidaka;Martin Billes;Quang Minh Tran and Kazutaka Matsuda
• 通讯作者: Quang Minh Tran and Kazutaka Matsuda

The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics

递归图变换语言UnCAL的代数：完整公理化和迭代范畴语义

• DOI: 10.1017/s096012951600027x
• 发表时间: 2018
• 期刊: Mathematical Structures in Computer Science
• 影响因子: 0.5
• 作者: M. Hamana;K. Matsuda and K. Asada
• 通讯作者: K. Matsuda and K. Asada

負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論

一种负分型线性可逆编程语言及其基于并行计算的语义

• 发表时间: 2018
• 作者: 八木 颯;松田 一孝
• 通讯作者: 松田 一孝