The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive
3D visualization, audio and video software, and games. With that, efficiency and security of code on the Web has become
specific programming model, WebAssembly is an abstraction over modern hardware, making it language-, hardware-, and platform-independent, with use cases beyond just the Web. WebAssembly has been designed with a formal semantics
from the start. We describe the motivation, design and formal semantics of WebAssembly and provide some preliminary experience with implementations.
Read the full article: https://docs.google.com/viewer?url=https://github.com/WebAssembly/spec/raw/master/papers/pldi2017.pdf