<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://repozitorij.uni-lj.si/IzpisGradiva.php?id=183257"><dc:title>Formalizacija originalne formulacije Poloniusa</dc:title><dc:creator>Trplan,	Filip	(Avtor)
	</dc:creator><dc:creator>Slivnik,	Boštjan	(Mentor)
	</dc:creator><dc:subject>Rust</dc:subject><dc:subject>Polonius</dc:subject><dc:subject>preverjevalnik izposoj</dc:subject><dc:subject>formalizacija</dc:subject><dc:description>Naloga zastavi matematično formalizacijo Poloniusa, preverjevalnika izposoj za programski jezik Rust. Posebnost Rusta je njegov sistem tipov, ki prevajalniku z ustreznimi pravili o izposojevanju omogoča zagotavljanje pomnilniške varnosti že v času prevajanja. Trenutna implementacija preverjevalnika izposoj, imenovana NLL, je v nekaterih primerih preveč konzervativna, zato so razvijalci Rusta uvedli novo različico, imenovano Polonius, ki je osnovana na bolj natančni analizi toka podatkov. Polonius sicer nikjer ni uradno definiran, viri o njem so razpršeni, zato je cilj te naloge postaviti matematičen okvir, skozi katerega lahko razumemo to novo različico. Tega se lotimo z uporabo množic in izjav, tako da pravila, ki so bila zastavljena v raznih virih, opišemo s pomočjo predikatov ter pravil sklepanja. Končni izdelek je poenostavljen, vendar formalen opis Poloniusa.</dc:description><dc:date>2026</dc:date><dc:date>2026-06-09 14:25:05</dc:date><dc:type>Diplomsko delo/naloga</dc:type><dc:identifier>183257</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>