WebAssembly Specification

Release 1.0 (Draft, last updated Feb 01, 2018)

• Introduction
  • Introduction
    • Design Goals
    • Scope
    • Dependencies
  • Overview
    • Concepts
    • Semantic Phases
• Structure
  • Conventions
    • Grammar Notation
    • Auxiliary Notation
    • Vectors
  • Values
    • Bytes
    • Integers
    • Floating-Point
    • Names
  • Types
    • Value Types
    • Result Types
    • Function Types
    • Limits
    • Memory Types
    • Table Types
    • Global Types
    • External Types
  • Instructions
    • Numeric Instructions
    • Parametric Instructions
    • Variable Instructions
    • Memory Instructions
    • Control Instructions
    • Expressions
  • Modules
    • Indices
    • Types
    • Functions
    • Tables
    • Memories
    • Globals
    • Element Segments
    • Data Segments
    • Start Function
    • Exports
    • Imports
• Validation
  • Conventions
    • Contexts
    • Prose Notation
    • Formal Notation
  • Types
    • Limits
    • Function Types
    • Table Types
    • Memory Types
    • Global Types
  • Instructions
    • Numeric Instructions
    • Parametric Instructions
    • Variable Instructions
    • Memory Instructions
    • Control Instructions
    • Instruction Sequences
    • Expressions
  • Modules
    • Functions
    • Tables
    • Memories
    • Globals
    • Element Segments
    • Data Segments
    • Start Function
    • Exports
    • Imports
    • Modules
• Execution
  • Conventions
    • Prose Notation
    • Formal Notation
  • Runtime Structure
    • Values
    • Results
    • Store
    • Addresses
    • Module Instances
    • Function Instances
    • Table Instances
    • Memory Instances
    • Global Instances
    • Export Instances
    • External Values
    • Stack
    • Administrative Instructions
  • Numerics
    • Representations
    • Integer Operations
    • Floating-Point Operations
    • Conversions
  • Instructions
    • Numeric Instructions
    • Parametric Instructions
    • Variable Instructions
    • Memory Instructions
    • Control Instructions
    • Blocks
    • Function Calls
    • Expressions
  • Modules
    • External Typing
    • Import Matching
    • Allocation
    • Instantiation
    • Invocation
• Binary Format
  • Conventions
    • Grammar
    • Auxiliary Notation
    • Vectors
  • Values
    • Bytes
    • Integers
    • Floating-Point
    • Names
  • Types
    • Value Types
    • Result Types
    • Function Types
    • Limits
    • Memory Types
    • Table Types
    • Global Types
  • Instructions
    • Control Instructions
    • Parametric Instructions
    • Variable Instructions
    • Memory Instructions
    • Numeric Instructions
    • Expressions
  • Modules
    • Indices
    • Sections
    • Custom Section
    • Type Section
    • Import Section
    • Function Section
    • Table Section
    • Memory Section
    • Global Section
    • Export Section
    • Start Section
    • Element Section
    • Code Section
    • Data Section
    • Modules
• Text Format
  • Conventions
    • Grammar
    • Abbreviations
    • Contexts
    • Vectors
  • Lexical Format
    • Characters
    • Tokens
    • White Space
    • Comments
  • Values
    • Integers
    • Floating-Point
    • Strings
    • Names
    • Identifiers
  • Types
    • Value Types
    • Result Types
    • Function Types
    • Limits
    • Memory Types
    • Table Types
    • Global Types
  • Instructions
    • Labels
    • Control Instructions
    • Parametric Instructions
    • Variable Instructions
    • Memory Instructions
    • Numeric Instructions
    • Folded Instructions
    • Expressions
  • Modules
    • Indices
    • Types
    • Type Uses
    • Imports
    • Functions
    • Tables
    • Memories
    • Globals
    • Exports
    • Start Function
    • Element Segments
    • Data Segments
    • Modules
• 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

• Index of Types
• Index of Instructions
• Index of Semantic Rules
• Index