WebAssembly is described as a binary instruction format for a stack-based virtual machine, which is meant to be a portable target for compilation of high-level languages.