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

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⟩
136 View
106 Download

Share

Gmail Facebook X LinkedIn More