WebAssembly Specification

Release 2.0 + tail calls (Draft 2023-03-01)

Editor: Andreas Rossberg

Latest Draft: https://webassembly.github.io/tail-call/core/

Issue Tracker: https://github.com/webassembly/tail-call/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
  • Soundness
  • Change History

• Index of Types

• Index of Instructions

• Index of Semantic Rules

• Index