WebAssembly Specification

Release 2.0 + tail calls + function references + gc (Draft 2024-12-09)

Editor: Andreas Rossberg

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

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

• Introduction
  • Introduction
  • Overview
• Structure
  • Conventions
  • Values
  • Types
  • Instructions
  • Modules
• Validation
  • Conventions
  • Types
  • Matching
  • Instructions
  • Modules
• Execution
  • Conventions
  • Runtime Structure
  • Numerics
  • Types
  • Values
  • Instructions
  • Modules
• Binary Format
  • Conventions
  • Values
  • Types
  • Instructions
  • Modules
• Text Format
  • Conventions
  • Lexical Format
  • Values
  • Types
  • Instructions
  • Modules
• Appendix
  • Embedding
  • Implementation Limitations
  • Type Soundness
  • Type System Properties
  • Validation Algorithm
  • Custom Sections
  • Change History
  • Index of Types
  • Index of Instructions
  • Index of Semantic Rules

• Index of Types

• Index of Instructions

• Index of Semantic Rules

• Index