Execution

• Conventions
  • Prose Notation
  • Formal Notation
• Runtime Structure
  • Values
  • Results
  • Store
  • Addresses
  • Module Instances
  • Function Instances
  • Table Instances
  • Memory Instances
  • Global Instances
  • Tag Instances
  • Element Instances
  • Data Instances
  • Export Instances
  • External Values
  • Aggregate Instances
  • Exception Instances
  • Stack
  • Administrative Instructions
• Numerics
  • Representations
  • Integer Operations
  • Floating-Point Operations
  • Conversions
• Types
  • Instantiation
• Values
  • Value Typing
  • External Typing
• Instructions
  • Numeric Instructions
  • Reference Instructions
  • Vector Instructions
  • Parametric Instructions
  • Variable Instructions
  • Table Instructions
  • Memory Instructions
  • Control Instructions
  • Blocks
  • Exception Handling
  • Function Calls
  • Expressions
• Modules
  • Allocation
  • Instantiation
  • Invocation