Implementing an interval computation library for OCaml on x86/amd64 architectures - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

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

(1) , (1, 2) , (3, 2) , (1, 2) , (1, 2)
1
2
3

Résumé

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 intervalarithmetic. The second implementation has been natively written in assembly language for low-level functions and in OCaml for higher-levelfunctions. It has proven as fast as classical C or C++ implementations.
Fichier principal
Vignette du fichier
451.pdf (134.36 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00934812 , version 1 (24-04-2014)

Identifiants

  • HAL Id : hal-00934812 , version 1

Citer

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⟩
605 Consultations
232 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More