Validation — WebAssembly 2.0 + exception handling (Draft 2025-03-20) (original) (raw)

Navigation

• Introduction
• Structure
• Validation
  • Conventions
  • Types
  • Instructions
  • Modules
• Execution
• Binary Format
• Text Format
• Appendix
• Index of Types
• Index of Instructions
• Index of Semantic Rules

• Index
• Download as PDF

Quick search

• Conventions
  • Contexts
  • Prose Notation
  • Formal Notation
• Types
  • Limits
  • Block Types
  • Function Types
  • Table Types
  • Memory Types
  • Tag Types
  • Global Types
  • External Types
  • Import Subtyping
• Instructions
  • Numeric Instructions
  • Reference Instructions
  • Vector Instructions
  • Parametric Instructions
  • Variable Instructions
  • Table Instructions
  • Memory Instructions
  • Control Instructions
  • Instruction Sequences
  • Expressions
• Modules
  • Functions
  • Tables
  • Memories
  • Tags
  • Globals
  • Element Segments
  • Data Segments
  • Start Function
  • Exports
  • Imports
  • Modules

©2022, WebAssembly Community Group.