Abstract Acceleration in Linear Relation Analysis - Archive ouverte HAL
Article Dans Une Revue Science of Computer Programming Année : 2014

Abstract Acceleration in Linear Relation Analysis

Résumé

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.
Fichier principal
Vignette du fichier
scpLRA4hal.pdf (486.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00876627 , version 1 (20-10-2017)

Identifiants

Citer

Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear Relation Analysis. Science of Computer Programming, 2014, 93, part B (125 - 153), pp.125 - 153. ⟨10.1016/j.scico.2013.09.016⟩. ⟨hal-00876627⟩
557 Consultations
266 Téléchargements

Altmetric

Partager

More