Iterators: where folds fail - Archive ouverte HAL Access content directly
Conference Papers Year :

Iterators: where folds fail

(1)
1

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

Dates and versions

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

Identifiers

  • HAL Id : hal-01377155 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More