Decoding Lua: Formal Semantics for the Developer and the Semanticist.
Mallku SoldevilaBeta ZilianiBruno SilvestreDaniel FridlenderFabio MascarenhasPublished in: CoRR (2017)
Keyphrases
- formal semantics
- source code
- development process
- er model
- operational semantics
- decoding algorithm
- open source
- logical language
- formal language
- web applications
- software development
- modeling language
- speech acts
- modelling language
- software engineering
- logical reasoning
- first order logic
- ontology languages
- theorem prover
- owl dl ontology
- epistemic logic
- artificial intelligence