Languages and Compilers

Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol and Serge Torres
Additional contact information
Jean-Michel Muller: CNRS - LIP
Nicolas Brunie: Kalray
Florent de Dinechin: INSA-Lyon - CITI
Claude-Pierre Jeannerod: Inria - LIP
Mioara Joldes: CNRS - LAAS
Vincent Lefèvre: Inria - LIP
Guillaume Melquiond: Inria - LRI
Nathalie Revol: Inria - LIP
Serge Torres: ENS-Lyon - LIP

Chapter Chapter 6 in Handbook of Floating-Point Arithmetic, 2018, pp 193-230 from Springer

Abstract: Abstract The previous chapters have given an overview of interesting properties and algorithms that can be built on an 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 programmers wishing to obtain a standard-compliant behavior from their programs, but it is also useful for understanding how performance may be improved by relaxing standard compliance and also what traps one may fall into.

Keywords: Floating Point Environment; CompCert; Rounding Mode; Double Round; Double Type (search for similar items in EconPapers)
Date: 2018
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-76526-6_6

Ordering information: This item can be ordered from
http://www.springer.com/9783319765266

DOI: 10.1007/978-3-319-76526-6_6

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().