KJS: a complete formal semantics of JavaScript.

Daejun Park Andrei Stefanescu Grigore Rosu

Published in: PLDI (2015)

Keyphrases

formal semantics
logical language
er model
operational semantics
first order logic
web applications
modeling language
ontology languages
modelling language
website
formal language
logical reasoning
theorem prover
speech acts
high level
life cycle
open source
domain knowledge