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