🛤 WebAssembly specification

[binji]

This is a tracking issue for post-MVP work
It will be updated as the issue progresses.

Topic WebAssembly specification
Champion Andreas Rossberg (@rossberg-chromium)
Status In progress
Phase Proposed spec text available
Linked issues none
Linked repositories github.com/WebAssembly/spec

Details

Formalize the WebAssembly specification including:

• Reference interpreter

• Test suite

• English and formalized description of WebAssembly including:

  • Structure of values, types, instructions, and modules
  • Validation
  • Execution
  • Binary Format
  • Text format
  • JavaScript APIs and Web embedding