From Conditional to Unconditional Rewriting

Permalink

https://hdl.handle.net/2142/10895

Title: From Conditional to Unconditional Rewriting
Author(s): Rosu, Grigore
Issue Date: 2004-08
Keyword(s): Formal Systems
Abstract: 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.
Type of Resource: text
Permalink: http://hdl.handle.net/2142/10895
Copyright and License Information: You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).