Bringing the Web Up to Speed with WebAssembly
WebAssembly is the first mainstream language designed from the start with a formal semantics. It not only demonstrates the feasibility of applying formal techniques, but also that they lead to a remarkably clean and simple design.