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 metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-01377155
Contributor : Sylvie Boldo Connect in order to contact the contributor
Submitted on : Thursday, October 6, 2016 - 3:00:00 PM
Last modification on : Thursday, July 8, 2021 - 3:49:45 AM
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

Citation

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

Share

Metrics

Les métriques sont temporairement indisponibles