Abstract Acceleration in Linear Relation Analysis

Laure Gonnord 1, 2 Peter Schrammel 3, 4
1 COMPSYS - Compilation and embedded computing systems
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
2 LIFL - DART/Émeraude
LIFL - Laboratoire d'Informatique Fondamentale de Lille
3 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Abstract acceleration is a method that computes the precise abstract effect of loops wherever possible and uses widening in the general case. Thus, it improves both the precision and the efficiency of the analysis. % This article gives a comprehensive tutorial on abstract acceleration: its origins in Presburger-based acceleration including new insights w.r.t. the linear accelerability of linear transformations, methods for simple and nested loops, recent extensions, tools and applications, and a detailed discussion of related methods and future perspectives.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, 93, part B (125 - 153), pp.125 - 153. 〈10.1016/j.scico.2013.09.016〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00876627
Contributeur : Laure Gonnord <>
Soumis le : vendredi 20 octobre 2017 - 08:57:14
Dernière modification le : samedi 21 octobre 2017 - 01:07:52

Fichier

scpLRA4hal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear Relation Analysis. Science of Computer Programming, Elsevier, 2014, 93, part B (125 - 153), pp.125 - 153. 〈10.1016/j.scico.2013.09.016〉. 〈hal-00876627〉

Partager

Métriques

Consultations de la notice

494

Téléchargements de fichiers

10