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

• a –  Université de Franche-Comté
• 1 :  Laboratoire d'Informatique de Franche-Comté (LIFC)
• http://lifc.univ-fcomte.fr/
  Université de Franche-Comté : EA4269 16, Route de Gray 25 030 BESANCON Cedex France
• 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) France

Références bibliographiques

• Type de publication : Communications avec actes
• Domaine : Informatique/Théorie et langage formel
• Titre : Lazy Rewriting Modulo Associativity and Commutativity
• 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.
• Langue du document : Anglais
• Date de publication : 2011
• Audience : internationale
• Titre conférence : WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming
• Ville : Novi Sad
• Pays : Serbie
• Date conférence : 29/05/2011
• Date conférence (fin) : 29/05/2011
• Pagination : 17--21
• Contrat, financement : BQR Université de Franche-Comté

• 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