Interesting —

"To our knowledge, WebAssembly is the first industrial-strength language or VM that has been designed with a formal semantics from the start."

(From "Bringing the Web Up to Speed with WebAssembly: dl.acm.org/doi/pdf/10.114…)