RAPT : A Program Transformation System based on Term Rewriting
RAPT : A Program Transformation System based on Term Rewriting
复制标题
RAPT：基于术语重写的程序转换系统
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Yuki Chiba
中科院分区：
文献类型：
--
作者：
Yuki Chiba
登录
查看更多内容
影响因子：
0.6
作者：
D. Kapur;P. Narendran;Hantao Zhang
通讯作者：
Hantao Zhang
不再因不完整的数据类型规范而失眠
DOI：
10.1145/800017.800518
发表时间：
1984
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Jean
通讯作者：
Jean
术语重写归纳
DOI：
10.1007/3-540-52885-7_86
发表时间：
1990
期刊：
Artif. Intell.
影响因子：
--
作者：
U. Reddy
通讯作者：
U. Reddy
关于公理指定的抽象数据类型的充分完整性的可判定性结果
DOI：
10.1007/bfb0009650
发表时间：
1983
期刊：
--
影响因子：
--
作者：
T. Nipkow;G. Weikum
通讯作者：
G. Weikum
DOI：
--
发表时间：
1983
期刊：
CSUR
影响因子：
--
作者：
H. Partsch;Ralf Steinbrüggen
通讯作者：
Ralf Steinbrüggen