Différentiation automatique et formes de Taylor en analyse statique de programmes numériques - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2009

Différentiation automatique et formes de Taylor en analyse statique de programmes numériques

Résumé

Des travaux récents sur l'analyse statique de programmes numériques ont montré que les techniques d'interprétation abstraite étaient adaptées à la validation de la précision des calculs en arithmétique flottante. L'utilisation des intervalles comme domaine numérique, même avec des méthodes de subdivision, induit une sur-approximation des résultats en particulier par l'existence de l'effet enveloppant (wrapping effect). Une solution utilisée pour éviter ce problème est la définition de domaines relationnels étroitement liés aux propriétés à valider. Nous allons montrer dans cet article comment des techniques de différentiation automatique peuvent être utilisées pour définir des formes de Taylor permettant de définir une nouvelle analyse statique.

Dates et versions

hal-00819435 , version 1 (01-05-2013)

Identifiants

Citer

Alexandre Chapoutot, Matthieu Martel. Différentiation automatique et formes de Taylor en analyse statique de programmes numériques. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2009, 28 (4), pp.503-531. ⟨10.3166/tsi.28.503-531⟩. ⟨hal-00819435⟩
58 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More