Language Semantics for js