More Specific Term Rewriting Systems ∗
More Specific Term Rewriting Systems ∗
复制标题
更具体的术语重写系统*
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Naoki Nishida
中科院分区：
文献类型：
--
作者：
Naoki Nishida
重写系统的一些属性是通过一些句法条件来表征的（例如，需要左线性和非重叠规则以确保汇合）。然而，有时候，一个给定的属性可能成立，但句法条件不满足。当系统是通过某种自动化转换获得时，情况尤其如此。在本文中，我们介绍了一种技术，使我们能够取代重写系统的规则由一个更具体的版本（一个实例），这个规则，使一个特定的类的减少仍然可以在更具体的系统中进行。这种转换可能有助于使某些属性显式化（例如，将具有唯一范式属性的重叠系统变换为非重叠系统）。我们提供了一个算法来计算更具体的版本的重写系统的基础上缩小。
There are properties of rewriting systems that are characterized by means of some syntactic conditions (e.g., requiring left-linear and non-overlapping rules for ensuring confluence). Sometimes, though, a given property might hold but the syntactic conditions are not met. This is particularly true when the systems are obtained by some automated transformation. In this paper, we introduce a technique that allows us to replace a rule of a rewriting system by a more specific version (an instance) of this rule so that a particular class of reductions can still be performed in the more specific system. This transformation might help to make some properties explicit (e.g., transforming an overlapping system having the unique normal form property into a non-overlapping one). We provide an algorithm to compute more specific versions of rewriting systems based on narrowing.
DOI：
--
发表时间：
2005
期刊：
IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8
影响因子：
--
作者：
Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
通讯作者：
Toshiki Sakabe
程序逆变器
DOI：
--
发表时间：
2004
期刊：
16th Nordic Workshop on Programming Theory. Proceedings
影响因子：
--
作者：
真田貴志;池田和美;保倉明子;中井 泉;池田 和美;真道 洋子(編);久保田 静香;久保田 静香;久保田 静香;Masahiko Kawabe;河邊 昌彦;Masahiko Kawabe
通讯作者：
Masahiko Kawabe