WebAssembly Core Specification
GPTKB entity
Statements (103)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:technical_specification
|
| gptkbp:defines |
gptkb:WebAssembly_binary_format
gptkb:WebAssembly_text_format WebAssembly execution semantics WebAssembly validation rules |
| gptkbp:describes |
gptkb:WebAssembly
|
| gptkbp:firstPublished |
2017
|
| https://www.w3.org/2000/01/rdf-schema#label |
WebAssembly Core Specification
|
| gptkbp:latestReleaseVersion |
2.0
2023-12-05 |
| gptkbp:publishedBy |
gptkb:W3C_WebAssembly_Working_Group
gptkb:World_Wide_Web_Consortium |
| gptkbp:specifies |
gptkb:security
tables modular design sandboxed execution backward compatibility versioning control flow constructs error handling type system block structure branch instructions local variables runtime errors deterministic execution forward compatibility linear memory model reference types stack-based virtual machine block instruction br instruction br_if instruction br_table instruction call instructions call_indirect instruction custom sections data segments data.drop instruction drop instruction elem.drop instruction element segments else instruction end instruction exported functions f32 type f64 type feature detection function calling conventions function references function signatures global.get instruction global.set instruction globals host bindings host environment interface i32 type i64 type if instruction import and export mechanism imported functions initialization expressions instructions set local.get instruction local.set instruction local.tee instruction loop instruction memories memory growth memory instructions memory limits memory.copy instruction memory.grow instruction memory.init instruction memory.load instruction memory.size instruction memory.store instruction module exports module imports module instantiation module linking nop instruction numeric instructions numeric types parametric instructions return instruction select instruction start function table instructions table.copy instruction table.fill instruction table.get instruction table.grow instruction table.init instruction table.set instruction table.size instruction trapping behavior unreachable instruction validation algorithm validation errors variable instructions |
| gptkbp:bfsParent |
gptkb:WebAssembly_Working_Group
|
| gptkbp:bfsLayer |
4
|