Daniel Fridlender | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Fabio Mascarenhas
3 publications
Mallku Soldevila
2 publications
Beta Ziliani
2 publications
Bruno Silvestre
1 publication

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...

0 Mallku Soldevila, et al. ∙

research

∙ 06/07/2017

Decoding Lua: Formal Semantics for the Developer and the Semanticist

We provide formal semantics for a large subset of the Lua programming la...

0 Mallku Soldevila, et al. ∙