Master thesis by Arthur de Groot: Memoising Scope Graph Query Resolution

"In this thesis, we propose a memoised variant of the current state-of-the-art query resolution algorithm that memoises data encountered during graph traversal, reducing future queries to a cache lookup. [..] We construct a synthetic dataset with these patterns that is used to evaluate query resolution algorithms with microbenchmarks."

https://resolver.tudelft.nl/uuid:7c5ea32b-d4de-4c69-a5be-c866d6250547

#ScopeGraphs #Spoofax #Statix #LanguageEngineering #Thesis

Master thesis by Alex Haršáni: Embedding Statix in Agda

"Using Statix, we can write a specification using constraints over scope graphs and terms. [...] we introduce a library called statix-in-agda. This library, written using the proof assistant Agda, includes the formalisation of scope graphs and embedding of Statix's constraints."

https://repository.tudelft.nl/record/uuid:8dfeb8f9-4bb3-4f91-8692-b9c9fbb4dadc

#Statix #Spoofax #Agda #thesis