Decoding Lua: formal semantics for the developer and the semanticist
Mallku Soldevila, Beta Ziliani, Bruno Oliveira Silvestre, Daniel Fridlender, Fabio Mascarenhas · 2017
We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, obtaining evidence that our model accurately represents the language.