Iterators: where folds fail

Sylvie Boldo 1
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : This paper is about the formal verification of a floating-point case study where the common iterators fold_left and fold_right have not the wanted behaviors. We then had to define other iterators, which are very similar in most cases, but that do behave well in our case study.
Type de document :
Communication dans un congrès
Workshop on High-Consequence Control Verification, Jul 2016, Toronto, Canada
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01377155
Contributeur : Sylvie Boldo <>
Soumis le : jeudi 6 octobre 2016 - 15:00:00
Dernière modification le : jeudi 5 avril 2018 - 12:30:22
Document(s) archivé(s) le : vendredi 3 février 2017 - 16:02:32

Fichier

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

Identifiants

  • HAL Id : hal-01377155, version 1

Citation

Sylvie Boldo. Iterators: where folds fail. Workshop on High-Consequence Control Verification, Jul 2016, Toronto, Canada. 〈hal-01377155〉

Partager

Métriques

Consultations de la notice

309

Téléchargements de fichiers

61