Lazy Rewriting Modulo Associativity and Commutativity

Walid Belkhir; Alain Giorgetti

hal-00642515, version 1

Lazy Rewriting Modulo Associativity and Commutativity

Walid Belkhir^a^, 1, Alain Giorgetti ()^a^, 1, 2

WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming (2011) 17--21

Résumé : We suggest a lazy evaluation semantics for first-order term rewriting with associative and commutative function symbols, known as AC-rewriting. The AC-matching produces a lazy list of solutions: a first substitution besides a non-evaluated object that encodes the remaining computations. We extend lazy rule application to usual traversal strategies.

a – Université de Franche-Comté
1 : Laboratoire d'Informatique de Franche-Comté (LIFC)
Université de Franche-Comté : EA4269
2 : CASSIS (INRIA Lorraine - LORIA / LIFC)
INRIA – CNRS : FRE2661 – Université de Franche-Comté – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

hal-00642515, version 1
http://hal.inria.fr/hal-00642515
oai:hal.inria.fr:hal-00642515
Contributeur : Alain Giorgetti <>
Soumis le : Vendredi 18 Novembre 2011, 11:00:19
Dernière modification le : Vendredi 18 Novembre 2011, 11:00:19

Voir la fiche détaillée

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="hal-00642515"><analytic>
<author><persName><forename>Walid</forename><surname>Belkhir</surname></persName>
<affiliation>
<orgName type="laboratory">LIFC</orgName>
<orgName type="team">Laboratoire d'Informatique de Franche-Comté</orgName>
<country>FR</country>
<orgName type="institution">Université de Franche-Comté : EA4269</orgName>
</affiliation>
</author>
<author><persName><forename>Alain</forename><surname>Giorgetti</surname></persName>
<affiliation>
<orgName type="laboratory">LIFC</orgName>
<orgName type="team">Laboratoire d'Informatique de Franche-Comté</orgName>
<country>FR</country>
<orgName type="institution">Université de Franche-Comté : EA4269</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">Lazy Rewriting Modulo Associativity and Commutativity</title></analytic><monogr><meeting>WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming</meeting><imprint><pubPlace><settlement>Novi Sad</settlement><country>Serbie</country></pubPlace><biblScope type="publicationDate">2011-00-00</biblScope><biblScope type="pp">17--21</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/hal-00642515</idno></biblStruct>
</listBibl>
</listBibl>