Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules
Expanding Transformation : A Basis for Correctness Verification of Rewriting Rules
复制标题
扩展转型:重写规则正确性验证的基础
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
and Hidekatsu Koike
中科院分区：
文献类型：
--
作者：
Ekawit Nantajeewarawat;Kiyoshi Akama;and Hidekatsu Koike
登录
查看更多内容
DOI：
10.1016/s0743-1066(99)00030-8
发表时间：
1999
期刊：
J. Log. Program.
影响因子：
--
作者：
D. D. Schreye;R. Glück;J. Jørgensen;M. Leuschel;Bern Martens;M. Sørensen
通讯作者：
M. Sørensen
XML 数据库的数据模型
影响因子：
3.4
作者：
V. Wuwongse;K. Akama;Chutiporn Anutariya;Ekawit Nantajeewarawat
通讯作者：
Ekawit Nantajeewarawat
DOI：
10.1142/9789812810885_0052
发表时间：
2001
期刊：
--
影响因子：
--
作者：
K. Akama;H. Koike;Yoshinori Shigeta;H. Mabuchi
通讯作者：
H. Mabuchi
基于规则的等价变换的一类重写规则和逆向变换
影响因子：
2.4
作者：
K. Akama;Ekawit Nantajeewarawat;H. Koike
通讯作者：
H. Koike
通过功能程序转换的局部改进实现完全正确性
DOI：
10.1145/227699.227716
发表时间：
1996
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
David Sands
通讯作者：
David Sands