From Conditional to Unconditional Rewriting
From Conditional to Unconditional Rewriting
复制标题
从有条件重写到无条件重写
DOI：
10.1007/978-3-540-31959-7_13
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Grigore Roşu
中科院分区：
文献类型：
--
作者：
Grigore Roşu
提出了一种将条件重写规则转换为无条件重写规则的自动化技术，该技术适用于在更简单、更容易优化的无条件重写系统之上实现或编译条件重写。在世界上最快的条件重写引擎上进行的实验表明，通过将所提出的技术作为前端转换，已经可以获得一个数量级的条件重写加速。
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much simpler and easier to optimize unconditional rewrite systems. An experiment performed on world’s fastest conditional rewriting engines shows that speedups for conditional rewriting of an order of magnitude can already be obtained by applying the presented technique as a front-end transformation.