Vizualizacija G-stroja brez hrbtenice in oznak

Andolšek Peklaj, Andraž (author), Slivnik, Boštjan (mentor)

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.

• Language: Slovenian
• Keywords: G-stroj brez hrbtenice in oznak, leni izračun, vizualizacija, spletne tehnologije
• Work type: Master's thesis/paper
• Organization: FRI - Faculty of Computer and Information Science
• Year: 2024
• PID: 20.500.12556/RUL-164614
• Publication date in RUL: 05.11.2024

Secondary language

• Language: English
• Title: Visualization of the spineless tagless G-machine

Abstract

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.

• Keywords: STG machine, lazy evaluation, visualization, web technologies