Sciweavers

Share
WADT
2004
Springer

From Conditional to Unconditional Rewriting

12 years 5 months ago
From Conditional to Unconditional Rewriting
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.
Grigore Rosu
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where WADT
Authors Grigore Rosu
Comments (0)
books