Estimation of Parallel Complexity with Rewriting Techniques - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Estimation of Parallel Complexity with Rewriting Techniques

Résumé

We show how monotone interpretations – a termination analysis technique for term rewriting systems – can be used to assess the inherent parallelism of recursive programs manipulating inductive data structures. As a side effect, we show how monotone interpretations specify a parallel execution order, and how our approach extends naturally affine scheduling – a powerful analysis used in parallelising compilers – to recursive programs. This work opens new perspectives in automatic parallelisation.
Fichier principal
Vignette du fichier
rewriting_parallelism_articleHAL.pdf (254.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01345914 , version 1 (20-07-2016)

Licence

Identifiants

  • HAL Id : hal-01345914 , version 1

Citer

Christophe Alias, Carsten Fuhs, Laure Gonnord. Estimation of Parallel Complexity with Rewriting Techniques. Workshop on Termination, Sep 2016, Obergurgl, Austria. ⟨hal-01345914⟩
308 Consultations
233 Téléchargements

Partager

More