Appendix

• Embedding
  • Store
  • Modules
  • Exports
  • Functions
  • Tables
  • Memories
  • Globals
• Implementation Limitations
  • Syntactic Limits
  • Validation
  • Execution
• Validation Algorithm
  • Data Structures
  • Validation of Opcode Sequences
• Custom Sections
  • Name Section
• Soundness
  • Values and Results
  • Store Validity
  • Configuration Validity
  • Administrative Instructions
  • Store Extension
  • Theorems