Skip to Main content Skip to Navigation
Conference papers

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 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Laurence Porte Connect in order to contact the contributor
Submitted on : Thursday, April 24, 2014 - 3:14:04 PM
Last modification on : Tuesday, October 19, 2021 - 2:24:12 PM
Long-term archiving on: : Thursday, July 24, 2014 - 10:36:40 AM


Files produced by the author(s)


  • HAL Id : hal-00934812, version 1


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⟩