Semantic Array Dataflow Analysis
Résumé
This paper revisits the polyhedral model’s key analysis, dependency analysis. The
semantic formulation we propose allows a new definition of the notion of dependency and the
computation of the dependency set.
We argue that this new formalization will later allow for a new vision of the polyhedral model
in terms of semantics, which will help us fully characterize its expressivity and applicability. We
also believe that abstract semantics will be the key for designing an approximate abstract model
in order to enhance the applicability of the polyhedral model.
Dans ce rapport de recherche nous réexprimons un des calculs-clefs du modèle
polyédrique: le calcul des dépendances, en termes d’opérations sur une sémantique concrète
impérative des programmes.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...