Estimation of Parallel Complexity with Rewriting Techniques

Abstract : 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.
Type de document :
Communication dans un congrès
Workshop on Termination, Sep 2016, Obergurgl, Austria. Workshop on Termination, 2016, Workshop on Termination. 〈http://cl-informatik.uibk.ac.at/events/wst-2016/〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01345914
Contributeur : Laure Gonnord <>
Soumis le : mercredi 20 juillet 2016 - 13:43:12
Dernière modification le : mardi 16 janvier 2018 - 15:35:37

Fichier

rewriting_parallelism_articleH...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01345914, version 1

Collections

Citation

Christophe Alias, Carsten Fuhs, Laure Gonnord. Estimation of Parallel Complexity with Rewriting Techniques. Workshop on Termination, Sep 2016, Obergurgl, Austria. Workshop on Termination, 2016, Workshop on Termination. 〈http://cl-informatik.uibk.ac.at/events/wst-2016/〉. 〈hal-01345914〉

Partager

Métriques

Consultations de la notice

376

Téléchargements de fichiers

103