[saamyjoon]

You're absolutely wrong here. A language must specify its semantics. Those semantics describe the safety properties of that language.