<?xml version="1.0" encoding="utf-8"?>
<Gradivo ID="83716" NadgradivoID="0" NRID="9151781" OceID="0" DomainUrl="https://repozitorij.uni-lj.si/" IzpisPolniUrl="https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&amp;id=83716" StOgledov="3421" StPrenosov="631" StOcen="0" VsotaOcen="0" DatumIzvoza="2026-08-08 09:16:33" OcenaSkupna="0" StPodgradiv="0" StudijskiProgramEvsID="1000425" JeIndeksirano="0" JeVecAvtorjev="0" DovoliZahtevkeZaDostop="0">
  <PID Url="http://hdl.handle.net/20.500.12556/RUL-83716">20.500.12556/RUL-83716</PID>
  <Naslov>Plavajoča vejica v čistem funkcijskem jeziku</Naslov>
  <Podnaslov></Podnaslov>
  <TujJezik_Naslov>Floating point in a purely functional language</TujJezik_Naslov>
  <TujJezik_Podnaslov></TujJezik_Podnaslov>
  <Opis>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.</Opis>
  <TujJezik_Opis>The floating-point, its presentation, IEEE 754 standards, special values, rounding modes, and some problems with its implementation are presented: The Table Maker&#039;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.</TujJezik_Opis>
  <KljucneBesede>
    <Beseda>plavajoča vejica</Beseda>
    <Beseda>funkcijsko programiranje</Beseda>
    <Beseda>Haskell</Beseda>
    <Beseda>GHC</Beseda>
    <Beseda>MPFR</Beseda>
    <Beseda>C</Beseda>
  </KljucneBesede>
  <TujJezik_KljucneBesede>
    <Beseda>floating-point</Beseda>
    <Beseda>functional programming</Beseda>
    <Beseda>Haskell</Beseda>
    <Beseda>GHC</Beseda>
    <Beseda>MPFR</Beseda>
    <Beseda>C</Beseda>
  </TujJezik_KljucneBesede>
  <Potrjeno>true</Potrjeno>
  <JeZaklenjeno>false</JeZaklenjeno>
  <JeRecenzirano>false</JeRecenzirano>
  <Zaloznik></Zaloznik>
  <Izvor></Izvor>
  <Jezik ID="1060" ISO639-3="slv">Slovenski jezik</Jezik>
  <TujJezik ID="1033" ISO639-3="eng">Angleški jezik</TujJezik>
  <Povezave></Povezave>
  <Pokrivanje></Pokrivanje>
  <CasovnoPokritje></CasovnoPokritje>
  <AvtorskePravice></AvtorskePravice>
  <VrstaGradiva ID="m5" DRIVER="info:eu-repo/semantics/bachelorThesis">Diplomsko delo</VrstaGradiva>
  <DatumVstavljanja>2016-06-23 15:20:07</DatumVstavljanja>
  <DatumObjave>2016-06-23 15:20:07</DatumObjave>
  <DatumSpremembe>2022-08-02 00:13:49</DatumSpremembe>
  <DatumTrajnegaHranjenja>0000-00-00 00:00:00</DatumTrajnegaHranjenja>
  <LetoIzida>2016</LetoIzida>
  <LetoIzidaDo>0</LetoIzidaDo>
  <KrajIzida></KrajIzida>
  <LetoIzvedbe>0</LetoIzvedbe>
  <KrajIzvedbe></KrajIzvedbe>
  <Opomba></Opomba>
  <StStrani></StStrani>
  <StevilcenjeNivo1></StevilcenjeNivo1>
  <StevilcenjeNivo2></StevilcenjeNivo2>
  <Kronologija></Kronologija>
  <Patent_Stevilka></Patent_Stevilka>
  <Patent_DatumVeljavnosti>0000-00-00</Patent_DatumVeljavnosti>
  <VerzijaDokumenta>NiDoloceno</VerzijaDokumenta>
  <StatusObjaveDrugje>NiDoloceno</StatusObjaveDrugje>
  <VrstaStroskaObjave>NiDoloceno</VrstaStroskaObjave>
  <DatumPoslanoVRecenzijo>0000-00-00</DatumPoslanoVRecenzijo>
  <DatumSprejetjaClanka>0000-00-00</DatumSprejetjaClanka>
  <DatumObjaveClanka>0000-00-00</DatumObjaveClanka>
  <EmbargoDo>1970-01-01</EmbargoDo>
  <VrstaEmbarga ID="1" Naziv="Takojšnja javna objava" OpenAIREDostop="openAccess"></VrstaEmbarga>
  <Osebe>
    <Oseba ID="64046" Ime="IVO" Priimek="LIST" AltIme="" VlogaID="70" VlogaNaziv="Avtor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
    <Oseba ID="28197" Ime="Andrej" Priimek="Bauer" AltIme="" VlogaID="991" VlogaNaziv="Mentor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
  </Osebe>
  <Identifikatorji>
    <Identifikator ID="16" Sifra="VisID" Naziv="VisID" URL="">17730</Identifikator>
  </Identifikatorji>
  <Datoteke>
    <Datoteka ID="86753" DatotekaNRID="8951783" NamenDatotekeID="2" NamenDatoteke="Predstavitvena datoteka" FormatDatotekeID="2" FormatDatoteke=".pdf" MIME="application/pdf" IkonaFormata="pdf.png" IkonaFormataPolniUrl="https://repozitorij.uni-lj.si/teme/rulDev/img/fileTypes/pdf.png" VelikostDatoteke="626505" VelikostDatotekeKratko="611,82 KB" DatumVstavljanja="2016-06-23 15:20:08" JeZbrisana="false" JeJavnoVidna="true" JeIndeksirana="true" JeVidno="true" VidnoOd="01.01.1970" Zaporedje="0">
      <Naziv>List_Ivo_-_Plavajoca_vejica_v_cistem_funkcijskem_jeziku.pdf</Naziv>
      <OrgNaziv>List_Ivo_-_Plavajoca_vejica_v_cistem_funkcijskem_jeziku.pdf</OrgNaziv>
      <URL></URL>
      <Opis></Opis>
      <OpisTujJezik></OpisTujJezik>
      <UrlObdelave></UrlObdelave>
      <FrekvencaAzuriranjaID>1</FrekvencaAzuriranjaID>
      <Verzija></Verzija>
      <MD5>543954425D75FFB6C31951D4B47FE86F</MD5>
      <SHA256>4486adb6c706236e4c1b4609d9e8bda69da1190fd3742e183811d80f0bbc4293</SHA256>
      <UUID>5462a08b-a1ae-11eb-a523-00155dcfd717</UUID>
      <PID>20.500.12556/rul/5013d7bd-5a1a-4474-95b2-cef6cacd4348</PID>
      <PrenosPolniUrl>https://repozitorij.uni-lj.si/Dokument.php?lang=slv&amp;id=86753</PrenosPolniUrl>
      <Vsebine>
        <Vsebina TipVsebine="GoloBesedilo" JezikID="1060" Oznaka="" Dolzina="69771"></Vsebina>
      </Vsebine>
    </Datoteka>
  </Datoteke>
  <Organizacije>
    <Organizacija OrganizacijaID="25" Kratica="FRI" ZavodEvsID="0000066" Logo="" LogoPolniUrl="https://repozitorij.uni-lj.si/teme/rulDev/img/logo/">Fakulteta za računalništvo in informatiko</Organizacija>
  </Organizacije>
  <OrganizacijeVira>
  </OrganizacijeVira>
  <MetodeZbiranjaPodatkov>
  </MetodeZbiranjaPodatkov>
  <TipologijaDela ID="0" Koda="0" Naziv="Ni določena" SchemaOrg="CreativeWork"></TipologijaDela>
  <Ostalo>
    <StIrodsDatotek>0</StIrodsDatotek>
    <StDatotekPodTrajnimEmbargom>0</StDatotekPodTrajnimEmbargom>
    <StDatotekZOmejenimDostopom>0</StDatotekZOmejenimDostopom>
  </Ostalo>
</Gradivo>
