<?xml version="1.0" encoding="utf-8"?>
<Gradivo ID="164614" NadgradivoID="0" NRID="25387548" OceID="0" DomainUrl="https://repozitorij.uni-lj.si/" IzpisPolniUrl="https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=slv&amp;id=164614" StOgledov="633" StPrenosov="1835" StOcen="0" VsotaOcen="0" DatumIzvoza="2026-09-26 14:22:16" OcenaSkupna="0" StPodgradiv="0" StudijskiProgramEvsID="1000471" JeIndeksirano="0" JeVecAvtorjev="0" DovoliZahtevkeZaDostop="0">
  <PID Url="http://hdl.handle.net/20.500.12556/RUL-164614">20.500.12556/RUL-164614</PID>
  <Naslov>Vizualizacija G-stroja brez hrbtenice in oznak</Naslov>
  <Podnaslov></Podnaslov>
  <TujJezik_Naslov>Visualization of the spineless tagless G-machine</TujJezik_Naslov>
  <TujJezik_Podnaslov></TujJezik_Podnaslov>
  <Opis>V magistrskem delu smo razvili vizualizacijo izvajanja programov v G-stroju brez hrbtenice in oznak. Pregledali smo del področja lenega izračuna in obstoječe simulatorje. Na osnovi tega smo povzeli jezik STG in operacijsko semantiko stroja, ki opisuje izvajanje programov v tem jeziku. Z uporabo spletnih tehnologij smo implementirali prototip, ki smo ga uporabili za testiranje delovanja stroja in kot osnovo za končno različico implementacije. Našo vizualizacijo smo primerjali z obstoječimi, poleg tega pa smo za komentarje prosili tudi izkušene uporabnike, ki so se odzvali pozitivno.</Opis>
  <TujJezik_Opis>In this masters thesis we visualized the execution of programs in the STG machine. We surveyed the work on lazy evaluation and looked at existing STG simulators. Based on this, we summarised the STG language and the operational semantics of the machine, which describes the execution of programs in the language. Using web technologies, we implemented a prototype, which was used to test the execution of the machine, and was the basis for the final version. We compared our visualization with existing ones, and asked experienced users for feedback, which was positive.</TujJezik_Opis>
  <KljucneBesede>
    <Beseda>G-stroj brez hrbtenice in oznak</Beseda>
    <Beseda>leni izračun</Beseda>
    <Beseda>vizualizacija</Beseda>
    <Beseda>spletne tehnologije</Beseda>
  </KljucneBesede>
  <TujJezik_KljucneBesede>
    <Beseda>STG machine</Beseda>
    <Beseda>lazy evaluation</Beseda>
    <Beseda>visualization</Beseda>
    <Beseda>web technologies</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="mb22" DRIVER="info:eu-repo/semantics/masterThesis">Magistrsko delo/naloga</VrstaGradiva>
  <DatumVstavljanja>2024-11-05 16:10:02</DatumVstavljanja>
  <DatumObjave>2024-11-05 16:10:09</DatumObjave>
  <DatumSpremembe>2024-11-29 07:20:56</DatumSpremembe>
  <DatumTrajnegaHranjenja>0000-00-00 00:00:00</DatumTrajnegaHranjenja>
  <LetoIzida>2024</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></EmbargoDo>
  <VrstaEmbarga ID="1" Naziv="Takojšnja javna objava" OpenAIREDostop="openAccess"></VrstaEmbarga>
  <Osebe>
    <Oseba ID="117887" Ime="Andraž" Priimek="Andolšek Peklaj" AltIme="" VlogaID="70" VlogaNaziv="Avtor" ConorID="" Afiliacija="" ArrsID="0" ORCID=""></Oseba>
    <Oseba ID="23518" Ime="Boštjan" Priimek="Slivnik" AltIme="" VlogaID="991" VlogaNaziv="Mentor" ConorID="3746915" Afiliacija="" ArrsID="12766" ORCID=""></Oseba>
  </Osebe>
  <Identifikatorji>
    <Identifikator ID="16" Sifra="VisID" Naziv="VisID" URL="">37017</Identifikator>
    <Identifikator ID="3" Sifra="CobissID" Naziv="COBISS_ID" URL="https://plus.cobiss.net/cobiss/si/sl/bib/216946179">216946179</Identifikator>
  </Identifikatorji>
  <Datoteke>
    <Datoteka ID="195173" DatotekaNRID="13991211" 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="1494775" VelikostDatotekeKratko="1,43 MB" DatumVstavljanja="2024-11-05 16:10:09" JeZbrisana="false" JeJavnoVidna="true" JeIndeksirana="true" JeVidno="true" VidnoOd="01.01.1970" Zaporedje="0">
      <Naziv>Andolsek_peklaj_Andraz_-_Vizualizacija_G-stroja_brez_hrbtenice_in_oznak.pdf</Naziv>
      <OrgNaziv>Andolsek_peklaj_Andraz_-_Vizualizacija_G-stroja_brez_hrbtenice_in_oznak.pdf</OrgNaziv>
      <URL></URL>
      <Opis></Opis>
      <OpisTujJezik></OpisTujJezik>
      <UrlObdelave></UrlObdelave>
      <FrekvencaAzuriranjaID>1</FrekvencaAzuriranjaID>
      <Verzija></Verzija>
      <MD5>9126D37451EF4E76F36CB36726D15735</MD5>
      <SHA256>7c99f83e5bc7e58a0807934d6db84bdadaa4638118078f7f96ce2225e97e1baf</SHA256>
      <UUID>b682ac4e-9b87-11ef-b232-0050569b8976</UUID>
      <PID></PID>
      <PrenosPolniUrl>https://repozitorij.uni-lj.si/Dokument.php?lang=slv&amp;id=195173</PrenosPolniUrl>
      <Vsebine>
        <Vsebina TipVsebine="GoloBesedilo" JezikID="1060" Oznaka="" Dolzina="63786"></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="2.09" Koda="2.09" Naziv="Magistrsko delo" SchemaOrg="Thesis"></TipologijaDela>
  <Ostalo>
    <StIrodsDatotek>0</StIrodsDatotek>
    <StDatotekPodTrajnimEmbargom>0</StDatotekPodTrajnimEmbargom>
    <StDatotekZOmejenimDostopom>0</StDatotekZOmejenimDostopom>
  </Ostalo>
</Gradivo>
