Execution

• Conventions
  • Prose Notation
  • Formal Notation
• Runtime Structure
  • Values
  • Results
  • Store
  • Addresses
  • Time Stamps
  • Module Instances
  • Function Instances
  • Table Instances
  • Memory Instances
  • Global Instances
  • Element Instances
  • Data Instances
  • Export Instances
  • External Values
  • Stack
  • Administrative Instructions
  • Events
  • Reduction
• Numerics
  • Representations
  • Integer Operations
  • Floating-Point Operations
  • Conversions
• Instructions
  • Numeric Instructions
  • Reference Instructions
  • Vector Instructions
  • Parametric Instructions
  • Variable Instructions
  • Table Instructions
  • Memory Instructions
  • Atomic Memory Instructions
  • Control Instructions
  • Blocks
  • Function Calls
  • Expressions
• Modules
  • External Typing
  • Value Typing
  • Allocation
  • Instantiation
  • Invocation
• Relaxed Memory Model
  • Preliminary Definitions
  • Traces
  • Consistency