Appendix

• Embedding
  • Types
  • Errors
  • Pre- and Post-Conditions
  • Store
  • Modules
  • Module Instances
  • Functions
  • Tables
  • Memories
  • Globals
• Implementation Limitations
  • Syntactic Limits
  • Validation
  • Execution
• Validation Algorithm
  • Data Structures
  • Validation of Opcode Sequences
• Custom Sections and Annotations
  • Name Section
  • Name Annotations
  • Custom Annotations
• Soundness
  • Results
  • Store Validity
  • Configuration Validity
  • Administrative Instructions
  • Store Extension
  • Theorems
• Change History
  • Release 2.0
  • Release 3.0