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

Abstract : We present a full Coq formalisation of the correctness of some comparison algorithms between binary64 and decimal64 floating-point numbers.
Type de document :
Communication dans un congrès
Numerical Software Verification, Jul 2017, Heidelberg, Germany. Springer, Numerical Software Verification: 10th International Workshop, NSV 2017 Heidelberg, Germany, July 22–23, 2017 Proceedings, 2017, Lecture Notes in Computer Science (LNCS)
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01512294
Contributeur : Laurent Thery <>
Soumis le : samedi 22 avril 2017 - 10:09:41
Dernière modification le : vendredi 27 avril 2018 - 14:40:07
Document(s) archivé(s) le : dimanche 23 juillet 2017 - 12:15:33

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01512294, version 1

Citation

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. Springer, Numerical Software Verification: 10th International Workshop, NSV 2017 Heidelberg, Germany, July 22–23, 2017 Proceedings, 2017, Lecture Notes in Computer Science (LNCS). 〈hal-01512294〉

Partager

Métriques

Consultations de la notice

242

Téléchargements de fichiers

99