Iterators: where folds fail - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Iterators: where folds fail


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.
Fichier principal
Vignette du fichier
abstract.pdf (164.99 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01377155 , version 1 (06-10-2016)


  • HAL Id : hal-01377155 , version 1


Sylvie Boldo. Iterators: where folds fail. Workshop on High-Consequence Control Verification, Jul 2016, Toronto, Canada. ⟨hal-01377155⟩
138 View
112 Download


Gmail Mastodon Facebook X LinkedIn More