Navigation
Introduction
Structure
Validation
Conventions
Types
Matching
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
Types
Defined Types
Rolling and Unrolling
Instruction Types
Local Types
Contexts
Prose Notation
Formal Notation
Types
Number Types
Vector Types
Heap Types
Reference Types
Value Types
Block Types
Result Types
Instruction Types
Function Types
Composite Types
Field Types
Recursive Types
Defined Types
Limits
Table Types
Memory Types
Global Types
External Types
Defaultable Types
Matching
Number Types
Vector Types
Heap Types
Reference Types
Value Types
Result Types
Instruction Types
Function Types
Composite Types
Field Types
Defined Types
Limits
Table Types
Memory Types
Global Types
External Types
Instructions
Numeric Instructions
Reference Instructions
Aggregate Reference Instructions
Scalar Reference Instructions
External Reference Instructions
Vector Instructions
Parametric Instructions
Variable Instructions
Table Instructions
Memory Instructions
Control Instructions
Instruction Sequences
Expressions
Modules
Types
Functions
Locals
Tables
Memories
Globals
Element Segments
Data Segments
Start Function
Exports
Imports
Modules