7 Appendix¶
- 7.1 Embedding
- 7.1.1 Types
- 7.1.2 Errors
- 7.1.3 Pre- and Post-Conditions
- 7.1.4 Store
- 7.1.5 Modules
- 7.1.6 Module Instances
- 7.1.7 Functions
- 7.1.8 Tables
- 7.1.9 Memories
- 7.1.10 Globals
- 7.2 Implementation Limitations
- 7.2.1 Syntactic Limits
- 7.2.2 Validation
- 7.2.3 Execution
- 7.3 Validation Algorithm
- 7.3.1 Data Structures
- 7.3.2 Validation of Opcode Sequences
- 7.4 Custom Sections
- 7.4.1 Name Section
- 7.5 Soundness
- 7.5.1 Results
- 7.5.2 Store Validity
- 7.5.3 Configuration Validity
- 7.5.4 Administrative Instructions
- 7.5.5 Store Extension
- 7.5.6 Theorems
- 7.6 Change History
- 7.6.1 Release 1.1