Abstract Acceleration in Linear relation analysis (extended version)

Laure Gonnord 1, 2, 3 Peter Schrammel 4
2 LIFL - DART/Émeraude
LIFL - Laboratoire d'Informatique Fondamentale de Lille
3 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Linear relation analysis is a classical abstract interpretation based on an over-approximation of reachable numerical states of a program by convex polyhedra. Since it works with a lattice of infinite height, it makes use of a widening operator to enforce the convergence of fixed point computations. 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 research report 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. This is the long version of a paper under submission.
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00787212
Contributeur : Laure Gonnord <>
Soumis le : lundi 11 février 2013 - 15:43:08
Dernière modification le : jeudi 11 janvier 2018 - 06:24:24
Document(s) archivé(s) le : dimanche 12 mai 2013 - 03:56:56

Fichier

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

Identifiants

  • HAL Id : hal-00787212, version 1

Collections

Citation

Laure Gonnord, Peter Schrammel. Abstract Acceleration in Linear relation analysis (extended version). 2013. 〈hal-00787212〉

Partager

Métriques

Consultations de la notice

356

Téléchargements de fichiers

319