Login / Signup
Decoding Lua: formal semantics for the developer and the semanticist.
Mallku Soldevila
Beta Ziliani
Bruno Silvestre
Daniel Fridlender
Fabio Mascarenhas
Published in:
DLS (2017)
Keyphrases
</>
formal semantics
source code
web applications
formal language
software development
modeling language
er model
first order logic
open source
modelling language
development process
logical reasoning
operational semantics
logical language
decoding algorithm
theorem prover
object oriented
multi agent systems
speech acts