Lazy Rewriting Modulo Associativity and Commutativity

Walid Belkhir 1 Alain Giorgetti 2, 3
1 VESONTIO
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.17--21, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00642515
Contributeur : Alain Giorgetti <>
Soumis le : vendredi 18 novembre 2011 - 11:00:19
Dernière modification le : jeudi 15 février 2018 - 08:48:15

Identifiants

  • HAL Id : hal-00642515, version 1

Citation

Walid Belkhir, Alain Giorgetti. Lazy Rewriting Modulo Associativity and Commutativity. WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, May 2011, Novi Sad, Serbia. pp.17--21, 2011. 〈hal-00642515〉

Partager

Métriques

Consultations de la notice

303