[proxy]
web.archive.org
—
← back
|
site home
|
direct (HTTPS) ↗
|
proxy home
|
◑ dark
◐ light
WebAssembly Specification
¶
Release 1.0 (Draft, last updated Sep 25, 2017)
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