WebAssembly Specification

Release 2.0 + custom annotations (Draft 2024-07-17)

Editor: Andreas Rossberg

Latest Draft: https://webassembly.github.io/annotations/core/

Issue Tracker: https://github.com/webassembly/annotations/issues/

• Introduction
  • Introduction
  • Overview
• Structure
  • Conventions
  • Values
  • Types
  • Instructions
  • Modules
• Validation
  • Conventions
  • Types
  • Instructions
  • Modules
• Execution
  • Conventions
  • Runtime Structure
  • Numerics
  • Instructions
  • Modules
• Binary Format
  • Conventions
  • Values
  • Types
  • Instructions
  • Modules
• Text Format
  • Conventions
  • Lexical Format
  • Values
  • Types
  • Instructions
  • Modules
• Appendix
  • Embedding
  • Implementation Limitations
  • Validation Algorithm
  • Custom Sections and Annotations
  • Soundness
  • Change History

• Index of Types

• Index of Instructions

• Index of Semantic Rules

• Index