inria-00073915, version 1
Conditional Concurrent Rewriting
N° RR-2777 (1996)
Résumé : For implementing conditional concurrent rewriting on distributed memory machines / we have designed a transformation of conditional term rewriting systems to unconditional rewriting systems. The transformation provides a terminating rewriting system that simulates in a correct and complete way the application of the initial conditional rewrite system / which is assumed to be decreasing and confluent. Furthermore / this allows to define a model for the implementation of conditional concurrent rewriting using a fine-grained parallelism on terms and based on term hypergraph rewriting. Finally / we present first experimental results based on our implementation \reco of conditional concurrent rewriting and show that significant speed-ups can be obtained when computing normal forms of terms.
- 1 :
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domaine : Informatique/Autre
- Mots-clés : concurrent rewriting – rewrite derivations – conditional rewriting – mimd architecte – parallel algorithms
- Référence interne : RR-2777
- inria-00073915, version 1
- http://hal.inria.fr/inria-00073915
- oai:hal.inria.fr:inria-00073915
- Contributeur :
- Soumis le : Mercredi 24 Mai 2006, 14:04:35
- Dernière modification le : Lundi 3 Juillet 2006, 10:30:04

Documents associés

Exporter