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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...