Execution

• Conventions
  • Prose Notation
  • Formal Notation
• Runtime Structure
  • Values
  • Results
  • Store
  • Addresses
  • Module Instances
  • Function Instances
  • Table Instances
  • Memory Instances
  • Global Instances
  • Export Instances
  • External Values
  • Stack
  • Administrative Instructions
• Numerics
  • Representations
  • Integer Operations
  • Floating-Point Operations
  • Conversions
• Instructions
  • Numeric Instructions
  • Parametric Instructions
  • Variable Instructions
  • Memory Instructions
  • Control Instructions
  • Blocks
  • Function Calls
  • Expressions
• Modules
  • External Typing
  • Import Matching
  • Allocation
  • Instantiation
  • Invocation