Floating point in a purely functional language

Ivo List (2016) Floating point in a purely functional language. EngD thesis.

Preview

Abstract

The floating-point, its presentation, IEEE 754 standards, special values, rounding modes, and some problems with its implementation are presented: The Table Maker's Dilemma and Round-trip conversions. Arbitrary fixed precision floating-point is an extension of floating-point implemented in Multiple Precision Floating-Point Reliable Library (MPFR). Working towards an interface for a purely functional language, Haskell as a representative is introduced. For an efficient implementation good knowledge of one of its implementation -- GHC -- is needed, especially how memory management is done and how low-level stages of the compiler are implemented. Last, the interface for the GHC and its benchmark with C implementation is presented.

Item Type:

Thesis (EngD thesis)

Keywords:

floating-point, functional programming, Haskell, GHC, MPFR, C

Number of Pages:

Language of Content:

Slovenian

Mentor / Comentors:

Name and Surname	ID	Function
prof. dr. Andrej Bauer	1359	Mentor

Link to COBISS:

http://www.cobiss.si/scripts/cobiss?command=search&base=51012&select=(ID=1537008835)

Institution:

University of Ljubljana

Department:

Faculty of Computer and Information Science

Item ID:

3364

Date Deposited:

20 Jun 2016 16:19

Last Modified:

30 Jun 2016 11:27

URI:

http://eprints.fri.uni-lj.si/id/eprint/3364

Actions (login required)

View Item