Files in this item



application/pdfFrom Conditional to Unconditional Rewriting.pdf (363kB)
(no description provided)PDF


Title:From Conditional to Unconditional Rewriting
Author(s):Rosu, Grigore
Subject(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.
Issue Date:2004-08
Genre:Technical Report
Other Identifier(s):UIUCDCS-R-2004-2471
Rights 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).
Date Available in IDEALS:2009-04-16

This item appears in the following Collection(s)

Item Statistics