Vizualizacija G-stroja brez hrbtenice in oznak

Andolšek Peklaj, Andraž (avtor), 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.

• Jezik: Slovenski jezik
• Ključne besede: G-stroj brez hrbtenice in oznak, leni izračun, vizualizacija, spletne tehnologije
• Vrsta gradiva: Magistrsko delo/naloga
• Tipologija: 2.09 - Magistrsko delo
• Organizacija: FRI - Fakulteta za računalništvo in informatiko
• Leto izida: 2024
• PID: 20.500.12556/RUL-164614
• COBISS.SI-ID: 216946179
• Datum objave v RUL: 05.11.2024

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Visualization of the spineless tagless G-machine

Izvleček

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.

• Ključne besede: STG machine, lazy evaluation, visualization, web technologies