A Higher-Order Programming Language for Bidirectional Transformations
A Higher-Order Programming Language for Bidirectional Transformations
用于双向转换的高阶编程语言
批准号：
15K15966
负责人：
Matsuda Kazutaka
金额：
$2.08万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(24)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
研究代表者のWebページ
研究代表的网页
研究代表的网页
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
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
基于迹线的双向图转换可编辑性和对应分析方法
基于迹线的双向图转换可编辑性和对应分析方法
DOI：
--
发表时间：
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的代数：完整公理化和迭代范畴语义
递归图变换语言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
負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論
一种负分型线性可逆编程语言及其基于并行计算的语义
一种负分型线性可逆编程语言及其基于并行计算的语义
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[八木 颯, 松田 一孝]
通讯作者：
松田 一孝
共 21 条
Combining Unidirectional and Bidirectional Programming
-
批准号：19K11892
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.91万
-
财政年份：2019
-
负责人：Matsuda Kazutaka
-
依托单位：
海外基金