From Conditional to Unconditional Rewriting
Identifieur interne : 001574 ( Istex/Checkpoint ); précédent : 001573; suivant : 001575From Conditional to Unconditional Rewriting
Auteurs : Grigore Ro U [États-Unis]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
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.
Url:
DOI: 10.1007/978-3-540-31959-7_13
Affiliations:
Links toward previous steps (curation, corpus...)
Links to Exploration step
ISTEX:4EC069DD34548C9FF0E4AC5EB8761F67C2C26D93Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">From Conditional to Unconditional Rewriting</title>
<author><name sortKey="Ro U, Grigore" sort="Ro U, Grigore" uniqKey="Ro U G" first="Grigore" last="Ro U">Grigore Ro U</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:4EC069DD34548C9FF0E4AC5EB8761F67C2C26D93</idno>
<date when="2005" year="2005">2005</date>
<idno type="doi">10.1007/978-3-540-31959-7_13</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-N75M9TNP-H/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001248</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001248</idno>
<idno type="wicri:Area/Istex/Curation">001231</idno>
<idno type="wicri:Area/Istex/Checkpoint">001574</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001574</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">From Conditional to Unconditional Rewriting</title>
<author><name sortKey="Ro U, Grigore" sort="Ro U, Grigore" uniqKey="Ro U G" first="Grigore" last="Ro U">Grigore Ro U</name>
<affiliation></affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">États-Unis</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">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.</div>
</front>
</TEI>
<affiliations><list><country><li>États-Unis</li>
</country>
</list>
<tree><country name="États-Unis"><noRegion><name sortKey="Ro U, Grigore" sort="Ro U, Grigore" uniqKey="Ro U G" first="Grigore" last="Ro U">Grigore Ro U</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001574 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd -nk 001574 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Istex |étape= Checkpoint |type= RBID |clé= ISTEX:4EC069DD34548C9FF0E4AC5EB8761F67C2C26D93 |texte= From Conditional to Unconditional Rewriting }}
This area was generated with Dilib version V0.6.33. |