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 Export Instances
- 4.2.11 External Values
- 4.2.12 Stack
- 4.2.13 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 Parametric Instructions
- 4.4.3 Variable Instructions
- 4.4.4 Memory Instructions
- 4.4.5 Control Instructions
- 4.4.6 Blocks
- 4.4.7 Function Calls
- 4.4.8 Expressions
- 4.5 Modules
- 4.5.1 External Typing
- 4.5.2 Import Matching
- 4.5.3 Allocation
- 4.5.4 Instantiation
- 4.5.5 Invocation