Skip to Main content Skip to Navigation
Conference papers

Iterators: where folds fail

Sylvie Boldo 1
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
LRI - Laboratoire de Recherche en Informatique, Inria Saclay - Ile de France
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-01377155
Contributor : Sylvie Boldo <>
Submitted on : Thursday, October 6, 2016 - 3:00:00 PM
Last modification on : Monday, December 14, 2020 - 5:24:05 PM
Long-term archiving on: : Friday, February 3, 2017 - 4:02:32 PM

File

abstract.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01377155, version 1

Collections

Citation

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

Share

Metrics

Record views

392

Files downloads

264