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
Validation
ΒΆ
Conventions
Contexts
Prose Notation
Formal Notation
Types
Limits
Block Types
Function Types
Table Types
Memory 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
Globals
Element Segments
Data Segments
Start Function
Exports
Imports
Modules