Advertisement

Languages and Compilers

  • Jean-Michel Muller
  • Nicolas Brisebarre
  • Florent de Dinechin
  • Claude-Pierre Jeannerod
  • Vincent Lefèvre
  • Guillaume Melquiond
  • Nathalie Revol
  • Damien Stehlé
  • Serge Torres
Chapter

Abstract

The previous chapters have given an overview of interesting properties and algorithms that can be built on IEEE 754-compliant floating-point arithmetic. In this chapter, we discuss the practical issues encountered when trying to implement such algorithms in actual computers using actual programming languages. In particular, we discuss the relationship between standard compliance, portability, accuracy, and performance. This chapter is useful to a programmer wishing to obtain a standard-compliant behavior from his/her program, but it is also useful for understanding how performance may be improved by relaxing standard compliance and also what risks may be encountered.

Keywords

Virtual Machine Java Virtual Machine Standard Compliance Default Behavior Quadruple Precision 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 2010

Authors and Affiliations

  • Jean-Michel Muller
    • 1
  • Nicolas Brisebarre
    • 1
  • Florent de Dinechin
    • 2
  • Claude-Pierre Jeannerod
    • 3
  • Vincent Lefèvre
    • 3
  • Guillaume Melquiond
    • 4
  • Nathalie Revol
    • 3
  • Damien Stehlé
    • 5
  • Serge Torres
    • 2
  1. 1.CNRS, Laboratoire LIPÉcole Normale Supérieure de LyonLyon Cedex 07France
  2. 2.ENSL, Laboratoire LIPÉcole Normale Supérieure de LyonLyon Cedex 07France
  3. 3.INRIA, Laboratoire LIPÉcole Normale Supérieure de LyonLyon Cedex 07France
  4. 4.INRIA Saclay – Île-de- FranceParc Orsay UniversitéOrsay CedexFrance
  5. 5.CNRSMacquarie University, and University of Sydney School of Mathematics and Statistics University of SydneySydneyAustralia

Personalised recommendations