Navigation
Introduction
Structure
Validation
Execution
Binary Format
Text Format
Appendix
Index of Types
Index of Instructions
Index of Semantic Rules
Index
Download as PDF
Quick search
WebAssembly Specification
ΒΆ
Release 2.0 + tail calls + function references + gc (Draft 2024-10-31)
Editor: Andreas Rossberg
Latest Draft:
https://webassembly.github.io/gc/core/
Issue Tracker:
https://github.com/webassembly/gc/issues/
Introduction
Introduction
Overview
Structure
Conventions
Values
Types
Instructions
Modules
Validation
Conventions
Types
Matching
Instructions
Modules
Execution
Conventions
Runtime Structure
Numerics
Types
Values
Instructions
Modules
Binary Format
Conventions
Values
Types
Instructions
Modules
Text Format
Conventions
Lexical Format
Values
Types
Instructions
Modules
Appendix
Embedding
Implementation Limitations
Type Soundness
Type System Properties
Validation Algorithm
Custom Sections
Change History
Index of Types
Index of Instructions
Index of Semantic Rules
Index of Types
Index of Instructions
Index of Semantic Rules
Index