research
∙
05/26/2020
Understanding Lua's Garbage Collection – Towards a Formalized Static Analyzer
We provide the semantics of garbage collection (GC) for the Lua programm...
research
∙
06/07/2017