From conditional to unconditional rewriting

Research output: Contribution to journalConference articlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)218-233
Number of pages16
JournalLecture Notes in Computer Science
StatePublished - 2005
Event17th International Workshop, WADT 2004 - Barcelona, Spain
Duration: Mar 27 2004Mar 29 2004

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'From conditional to unconditional rewriting'. Together they form a unique fingerprint.

Cite this