From conditional to unconditional rewriting

Grigore Roşu

doi:10.1007/978-3-540-31959-7_13

From conditional to unconditional rewriting

Research output: Contribution to journal › Conference article › peer-review

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.

Original language	English (US)
Pages (from-to)	218-233
Number of pages	16
Journal	Lecture Notes in Computer Science
Volume	3423
DOIs	https://doi.org/10.1007/978-3-540-31959-7_13
State	Published - 2005
Event	17th International Workshop, WADT 2004 - Barcelona, Spain Duration: Mar 27 2004 → Mar 29 2004

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-540-31959-7_13

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

Cite this

@article{f846a56889734e2d8b19fc7c400697b5,

title = "From conditional to unconditional rewriting",

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.",

author = "Grigore Ro{\c s}u",

year = "2005",

doi = "10.1007/978-3-540-31959-7_13",

language = "English (US)",

volume = "3423",

pages = "218--233",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - From conditional to unconditional rewriting

AU - Roşu, Grigore

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=24344432100&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=24344432100&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-31959-7_13

DO - 10.1007/978-3-540-31959-7_13

M3 - Conference article

AN - SCOPUS:24344432100

VL - 3423

SP - 218

EP - 233

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SN - 0302-9743

T2 - 17th International Workshop, WADT 2004

Y2 - 27 March 2004 through 29 March 2004

ER -