Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer.

Mallku Soldevila, Beta Ziliani, Daniel Fridlender

Browse the full PPDP paper archive.