ECMA-335 static formal semantics.

V. A. Vasenin Maxim A. Krivchikov

Published in: Program. Comput. Softw. (2012)

Keyphrases

formal semantics
operational semantics
modeling language
first order logic
formal language
logical language
modelling language
theorem prover
logical reasoning
er model
owl dl ontology
databases
ontology languages
metadata
speech acts