izpis_h1_title_alt

Plavajoča vejica v čistem funkcijskem jeziku
LIST, IVO (Author), Bauer, Andrej (Mentor) More about this mentor... This link opens in a new window

.pdfPDF - Presentation file, Download (611,82 KB)

Abstract
Opisana je plavajoča vejica, njena predstavitev, standarda IEEE 754, posebne vrednosti, načini zaokroževanja in nekateri problemi s katerimi se soočimo pri njeni implementaciji. Mednje sodita dilema izdelovalca tabel in problem povratnih pretvorb. Knjižnica Multiple Precision Floating-Point Reliable Library (MPFR) je implementacija plavajoče vejice s poljubno fiksno natančnostjo, ki jo želimo uporabiti v čistem funkcijskem jeziku. Predstavnik slednjega je Haskell in sledijo podrobnosti ene izmed njegovih implementacij -- GHC. Zaradi učinkovitosti je potrebno dobro razumevanje upravljanja s pomnilnikom in najnižjih stopenj prevajalnika. Z navedenim je izdelan vmesnik za MPFR v GHC-ju in predstavljena je njegova primerjava s C-jevo implementacijo.

Language:Slovenian
Keywords:plavajoča vejica, funkcijsko programiranje, Haskell, GHC, MPFR, C
Work type:Undergraduate thesis (m5)
Organization:FRI - Faculty of computer and information science
Year:2016
Views:505
Downloads:311
Metadata:XML RDF-CHPDL DC-XML DC-RDF
 
Average score:(0 votes)
Your score:Voting is allowed only to logged in users.
:
Share:AddThis
AddThis uses cookies that require your consent. Edit consent...

Secondary language

Language:English
Title:Floating point in a purely functional language
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.

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

Similar documents

Similar works from RUL:
Similar works from other Slovenian collections:

Comments

Leave comment

You have to log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back