20.500.12556/RUL-143251 Len funkcijski programski jezik brez čistilca pomnilnika Lazy functional programming language without garbage collector Moderni programski jeziki omogočajo dodeljevanje in sproščanje pomnilnika med izvajanjem programov. Ustrezno upravljanje s pomnilnikom je zato ključno. Razvili smo funkcijski programski jezik, ki je len in ne uporablja čistilca pomnilnika, kot je to običajno v praksi (Haskell, OCaml). Namesto čistilca predlagamo statično analizo, v osrčju katere sta princip enojnega lastništva in izposoja. Čiščenje pomnilnika v razvitem jeziku je v celoti deterministično, dodatnemu delu v času izvajanja se skoraj povsem izognemo, statična analiza pa zagotovi, da ne prihaja do smetenja in izvisenih kazalcev. Za programski jezik smo razvili tudi prototipni prevajalnik, s katerim dokažemo uspešnost statične analize in pokažemo, da upravljanje s pomnilnikom že v prototipni implementaciji deluje zelo dobro. Modern programming languages allow for a dynamic memory allocation during program execution. Proper memory management is, consequently, vital. We developed a functional programming language that is lazy and does not rely on a garbage collector, which is the traditional technique for memory management in this domain (Haskell, OCaml). Instead of a collector, we propose a static analysis at the heart of which are the principle of single ownership and borrowing. As a result, memory management in the developed language is entirely deterministic, the overhead during runtime execution is minimal, and the static analysis ensures that there can be no garbage and dangling pointers. Additionally, we developed a compiler to demonstrate that the static analysis is functioning and to show that memory management works well even in the prototypical implementation. prevajalnik interpreter navidezni stroj programski jezik funkcijsko programiranje leni izračun upravljanje s pomnilnikom čistilec pomnilnika štetje referenc lastništvo izposoja puščanje pomnilnika compiler interpreter virtual machine programming language functional programming lazy evaluation memory management garbage collector reference counting ownership borrowing memory leaking true false false Slovenski jezik Angleški jezik Magistrsko delo/naloga 2022-12-09 10:35:30 2022-12-09 10:35:36 2023-01-06 06:39:04 0000-00-00 00:00:00 2022 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 34122 136461571 Kocjan_turk_Toni_-_Len_funkcijski_programski_jezik_brez_cistilca_pomnilnika.pdf Kocjan_turk_Toni_-_Len_funkcijski_programski_jezik_brez_cistilca_pomnilnika.pdf 1 8582B97289174F07B304473B7058A0D3 a74e880140e623be8a9eec8816b49b2063120c89f3aaf3c2b8256d8d850c47f3 ac0d52b5-77a4-11ed-9c94-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=164874 Fakulteta za računalništvo in informatiko 0 0 0