Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers

Résumé

We present a full Coq formalisation of the correctness of some comparison algorithms between binary64 and decimal64 floating-point numbers.
Fichier principal
Vignette du fichier
paper.pdf (203.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01512294 , version 1 (22-04-2017)

Identifiants

  • HAL Id : hal-01512294 , version 1

Citer

Arthur Blot, Jean-Michel Muller, Laurent Théry. Formal correctness of comparison algorithms between binary64 and decimal64 floating-point numbers. Numerical Software Verification, Jul 2017, Heidelberg, Germany. ⟨hal-01512294⟩
298 Consultations
275 Téléchargements

Partager

Gmail Facebook X LinkedIn More