附录

• 嵌入
  • 类型
  • 错误
  • 先决条件和后置条件
  • 存储
  • 模块
  • 模块实例
  • 函数
  • 表
  • 内存
  • 全局变量
• 实现限制
  • 语法限制
  • 验证
  • 执行
• 验证算法
  • 数据结构
  • 操作码序列验证
• 自定义节
  • 名称节
• 健全性
  • 结果
  • 存储有效性
  • 配置有效性
  • 管理指令
  • 存储扩展
  • 定理
• 变更历史
  • 2.0 版