3532 articles – 5253 Notices  [english version]

inria-00073915, version 1

Conditional Concurrent Rewriting

Iliès Alouini 1, Claude Kirchner 1

N° RR-2777 (1996)

Résumé : 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.

  • 1 :  PROTHEO (INRIA Lorraine - LORIA)
  • 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
  • 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