1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Mallku Soldevila, Beta Ziliani, Bruno Silvestre +2
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…