4 Execution¶
- 4.1 Conventions
- 4.1.1 Prose Notation
- 4.1.2 Formal Notation
- 4.2 Runtime Structure
- 4.2.1 Values
- 4.2.2 Results
- 4.2.3 Store
- 4.2.4 Addresses
- 4.2.5 Module Instances
- 4.2.6 Function Instances
- 4.2.7 Table Instances
- 4.2.8 Memory Instances
- 4.2.9 Global Instances
- 4.2.10 Element Instances
- 4.2.11 Data Instances
- 4.2.12 Export Instances
- 4.2.13 External Values
- 4.2.14 Stack
- 4.2.15 Administrative Instructions
- 4.3 Numerics
- 4.3.1 Representations
- 4.3.2 Integer Operations
- 4.3.3 Floating-Point Operations
- 4.3.4 Conversions
- 4.4 Instructions
- 4.4.1 Numeric Instructions
- 4.4.2 Reference Instructions
- 4.4.3 Vector Instructions
- 4.4.4 Parametric Instructions
- 4.4.5 Variable Instructions
- 4.4.6 Table Instructions
- 4.4.7 Memory Instructions
- 4.4.8 Control Instructions
- 4.4.9 Blocks
- 4.4.10 Function Calls
- 4.4.11 Expressions
- 4.5 Modules
- 4.5.1 External Typing
- 4.5.2 Value Typing
- 4.5.3 Allocation
- 4.5.4 Instantiation
- 4.5.5 Invocation