Conditional Concurrent Rewriting

Iliès Alouini 1 Claude Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : For implementing conditional concurrent rewriting on distribu­ted 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.
Type de document :
Rapport
[Research Report] RR-2777, INRIA. 1996, pp.24
Liste complète des métadonnées

https://hal.inria.fr/inria-00073915
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:04:35
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : lundi 5 avril 2010 - 00:01:44

Fichiers

Identifiants

  • HAL Id : inria-00073915, version 1

Collections

Citation

Iliès Alouini, Claude Kirchner. Conditional Concurrent Rewriting. [Research Report] RR-2777, INRIA. 1996, pp.24. 〈inria-00073915〉

Partager

Métriques

Consultations de la notice

121

Téléchargements de fichiers

145