Grammar-based Approach to Program Bidirectionalization

基于语法的程序双向化方法

• 批准号: 22800003
• 负责人: MATSUDA Kazutaka
• 金额: $ 1.55万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Research Activity Start-up
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010 至 2011
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-22800003/
• 关键词: プログラミング言語; プログラム変換; 関数プログラミング; 双方向変換; 逆計算

Bidirectional transformations, while they have wide-ranged applications, are hard to develop because we have to maintain programs in both directions. An approach to the problem is bidirectionalization, a program transformation that constructs a bidirectional transformation from a given usual unidirectional transformation. Making use of the techniques from the formal language theory, we have developed a new fundamental technique for bidirectionalization, which enables us to enumerate all the corresponding inputs of a given output for many tree (e. g., XML)transformations in polynomial time.

双向转换虽然有着广泛的应用，但很难开发，因为我们必须在两个方向上维护程序。解决这个问题的一种方法是双向化（bidirectionalization），一种程序转换，它从一个给定的通常的单向转换构造一个双向转换。利用形式语言理论中的技术，我们发展了一种新的双向化的基本技术，它使我们能够枚举给定输出的所有对应输入，对于许多树（例如：例如，在一个实施例中，XML）转换。

项目成果

Marker-directed Optimization of UnCAL Graph Transformations, LOPSTR 2011

UnCAL 图转换的标记导向优化，LOPSTR 2011

• 发表时间: 2012
• 期刊: 21st International Symposium on Logic-Based Program Synthesis and Transformation
• 作者: Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;Hiroyuki Kato;Kazutaka Matsuda;Keisuke Nakano;and Isao Sasano
• 通讯作者: and Isao Sasano

Marker-directed Optimization of UnCAL Graph Transformations

UnCAL 图转换的标记导向优化

• 发表时间: 2011
• 期刊: GRACE Technical Report (GRACE-TR-2011-02)
• 作者: Soichiro Hidaka;Zhenjiang Hu;Kazuhiro Inaba;Hiroyuki Kato;Kazutaka Matsuda;Keisuke Nakano and Isao Sasano
• 通讯作者: Keisuke Nakano and Isao Sasano

Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals

多次数据遍历累加函数的多项式时间逆计算

• DOI: 10.1145/2103746.2103752
• 发表时间: 2012
• 期刊: In Proceedings of ACM SIGPLAN Partial Evaluation and Program Manipulation
• 作者: Kazutaka Matsuda;Kazuhiro Inaba and Keisuke Nakano
• 通讯作者: Kazuhiro Inaba and Keisuke Nakano

Right Inverses in Bidirectionalization

双向化中的右逆

• 发表时间: 2011
• 作者: 塚田武志;松田一孝;Kazutaka Matsuda
• 通讯作者: Kazutaka Matsuda

Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, PEPM 2012

具有多次数据遍历的累积函数的多项式时间逆计算，PEPM 2012

• 发表时间: 2012
• 期刊: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
• 作者: Kazutaka Matsuda;Kazuhiro Inaba;and Keisuke Nakano
• 通讯作者: and Keisuke Nakano