Implementing an interval computation library for OCaml on x86/amd64 architectures

Abstract : In this paper, we present two implementations of interval arithmetic for OCaml on x86/amd64 architectures. The first implementation is a binding to the classical MPFI/MPFR library. It provides access to multi-precision floating-point arithmetic and multi-precision floating-point interval arithmetic. The second implementation has been natively written in assembly language for low-level functions and in OCaml for higher-level functions. It has proven as fast as classical C or C++ implementations.
Type de document :
Communication dans un congrès
OUD 2012, OCaml Users and Developers workshop, Sep 2012, Copenhagen, Denmark
Liste complète des métadonnées

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

https://hal-enac.archives-ouvertes.fr/hal-00934812
Contributeur : Laurence Porte <>
Soumis le : jeudi 24 avril 2014 - 15:14:04
Dernière modification le : mardi 22 mars 2016 - 01:28:27
Document(s) archivé(s) le : jeudi 24 juillet 2014 - 10:36:40

Fichier

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

Identifiants

  • HAL Id : hal-00934812, version 1

Citation

Jean-Marc Alliot, Jean-Baptiste Gotteland, Charlie Vanaret, Nicolas Durand, David Gianazza. Implementing an interval computation library for OCaml on x86/amd64 architectures. OUD 2012, OCaml Users and Developers workshop, Sep 2012, Copenhagen, Denmark. 〈hal-00934812〉

Partager

Métriques

Consultations de
la notice

896

Téléchargements du document

144