Navigation
Introduction
Structure
Validation
Execution
Conventions
Runtime Structure
Numerics
Instructions
Modules
Binary Format
Text Format
Appendix
Index of Types
Index of Instructions
Index of Semantic Rules
Index
Download as PDF
Quick search
Execution
ΒΆ
Conventions
Prose Notation
Formal Notation
Runtime Structure
Values
Results
Store
Addresses
Module Instances
Function Instances
Table Instances
Memory Instances
Global Instances
Element Instances
Data Instances
Export Instances
External Values
Stack
Administrative Instructions
Numerics
Representations
Integer Operations
Floating-Point Operations
Conversions
Instructions
Numeric Instructions
Reference Instructions
Vector Instructions
Parametric Instructions
Variable Instructions
Table Instructions
Memory Instructions
Control Instructions
Blocks
Function Calls
Expressions
Modules
External Typing
Value Typing
Allocation
Instantiation
Invocation