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

Cited literature [5 references]  Display  Hide  Download

https://hal-enac.archives-ouvertes.fr/hal-00934812
Contributor : Laurence Porte <>
Submitted on : Thursday, April 24, 2014 - 3:14:04 PM
Last modification on : Tuesday, February 11, 2020 - 1:59:47 PM
Long-term archiving on: Thursday, July 24, 2014 - 10:36:40 AM

File

451.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

1232

Files downloads

244