Semantic Array Dataflow Analysis

Résumé : 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.
Type de document :
Rapport
[Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01954396
Contributeur : Laure Gonnord <>
Soumis le : jeudi 13 décembre 2018 - 16:02:50
Dernière modification le : dimanche 17 mars 2019 - 08:58:04
Document(s) archivé(s) le : jeudi 14 mars 2019 - 15:08:42

Fichier

RR-9232.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01954396, version 1

Citation

Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22. 〈hal-01954396〉

Partager

Métriques

Consultations de la notice

56

Téléchargements de fichiers

39