Implementacije vezanih spremenljivk v programskih jezikihZupan Škrlj, Lovro (Avtor) Pretnar, Matija (Mentor) programski jezikivezane spremenljivkeOCamlPri implementaciji programskih jezikov programe pogosto predstavljamo z abstraktnimi sintaksnimi drevesi. Pri tej strukturi moramo biti posebej pozorni na predstavitev vezanih spremenljivk. Postopka preimenovanja spremenljivk in substitucije sta nagnjena k napakam. Naivne implementacije so pogosto neučinkovite. V delu je problem vezanih spremenljivk obravnavan na lambda računu, ki je preprost programski jezik funkcij. Predstavljeni so trije standardni pristopi k implementaciji vezanih spremenljivk: naivni pristop, de Bruijnovi indeksi in abstraktna sintaksa višjega reda. Predstavljena je tudi knjižnica Bindlib za OCaml, ki omogoča preprosto, varno in učinkovito delo z vezanimi spremenljivkami. Na koncu je opisana predstavitev vezanih spremenljivk programskega jezika Millet, ki služi kot osnova za razvoj prototipnih programskih jezikov. Implementacija vezanih spremenljivk v Milletu je izvedena z uporabo knjižnice Bindlib. Razlike v učinkovitosti predstavitev vezanih spremenljivk so prikazane z eksperimentom, v katerem merimo čas izvajanja štirih pristopov.20262026-09-05 08:15:22Delo diplomskega seminarja/zaključno seminarsko delo/naloga186768UDK: 004.43VisID: 162680COBISS_ID: 290144003sl