Index

Symbols

: abstract syntax administrative instruction

A

abbreviations abstract syntax, [1], [2], [3] block type, [1] byte data, [1] data address data index data instance element, [1] element address element index element instance element mode export, [1] export instance expression, [1], [2] external type, [1] external value floating-point number frame function, [1], [2] function address function index function instance function type, [1] global, [1] global address global index global instance global type, [1] grammar host address import, [1] instruction, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24] integer label label index limits, [1] local local index memory, [1] memory address memory index memory instance memory type, [1] module, [1] module instance mutability name notation number type, [1] reference type result result type signed integer start function, [1] store table, [1] table address table index table instance table type, [1] type type definition type index uninterpreted integer unsigned integer value, [1] value type vector, [1]

activation active, [1] address, [1], [2], [3], [4], [5] data element function global host memory table administrative instruction, [1] : abstract syntax administrative instructions algorithm allocation, [1], [2], [3] arithmetic NaN ASCII, [1], [2]

B

binary format, [1], [2], [3], [4], [5] block type byte custom section data data count data index element element index export expression floating-point number function, [1] function index function type global global index global type grammar import instruction, [1], [2], [3], [4], [5], [6], [7] integer label index limits local local index memory memory index memory type module mutability name notation number type reference type result type section signed integer start function table table index table type type type index type section uninterpreted integer unsigned integer value value type vector vector type

bit bit width, [1], [2], [3], [4], [5] block, [1], [2], [3], [4], [5], [6] type block context block type, [1], [2], [3] abstract syntax binary format validation Boolean, [1], [2] bottom type branch, [1], [2], [3], [4], [5] byte, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19] abstract syntax binary format text format

C

call, [1], [2] canonical NaN changes character, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] text format closure code, [1] section code section

comment, [1] concepts configuration, [1], [2], [3] constant, [1], [2], [3], [4], [5] context, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] control instruction control instructions, [1], [2], [3] custom section, [1] binary format

D

data, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax address binary format index instance section segment, [1], [2], [3], [4] text format, [1] validation data address, [1] abstract syntax data count binary format section

data count section data index, [1], [2], [3] abstract syntax binary format text format data instance, [1], [2], [3], [4], [5] abstract syntax data section data segment, [1], [2], [3] declarative decoding default value design goals determinism, [1]

E

element, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16] abstract syntax address binary format index instance mode section segment, [1], [2], [3], [4] text format, [1] validation element address, [1], [2] abstract syntax element expression element index, [1], [2], [3] abstract syntax binary format text format element instance, [1], [2], [3], [4], [5], [6] abstract syntax element mode abstract syntax element section element segment, [1], [2], [3], [4] element type embedder, [1], [2], [3], [4], [5], [6], [7], [8] embedding evaluation context, [1] execution, [1], [2], [3], [4] expression instruction, [1], [2], [3], [4], [5], [6], [7]

exponent, [1] export, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17] abstract syntax binary format instance section text format, [1], [2], [3], [4] validation export instance, [1], [2], [3], [4] abstract syntax export section expression, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19] abstract syntax binary format constant, [1], [2], [3] execution text format validation extern address extern type, [1] extern value, [1] external type value external type, [1], [2], [3], [4], [5] abstract syntax validation external value, [1], [2], [3], [4], [5] abstract syntax

F

file extension, [1] floating point floating-point, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] floating-point number, [1] abstract syntax binary format text format folded instruction frame, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax function, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34] abstract syntax, [1] address binary format, [1] export import index instance section text format type

function address, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] abstract syntax function index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27] abstract syntax binary format text format function instance, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16] abstract syntax function section function type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34], [35], [36] abstract syntax binary format text format validation

G

global, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19] abstract syntax address binary format export import index instance mutability section text format type validation global address, [1], [2], [3], [4], [5], [6] abstract syntax

global index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] abstract syntax binary format text format global instance, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] abstract syntax global section global type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20] abstract syntax binary format text format validation globaltype grammar notation, [1], [2] grow, [1]

H

host, [1] address

host address abstract syntax host function, [1], [2], [3], [4]

I

identifier, [1], [2], [3], [4], [5], [6], [7], [8] identifier context, [1] identifiers text format IEEE 754, [1], [2], [3], [4], [5], [6] implementation, [1] implementation limitations import, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23] abstract syntax binary format section text format, [1], [2], [3], [4] validation import section index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] data element function global label local memory table type index space, [1], [2], [3], [4], [5] instance, [1] data element export function global memory module table

instantiation, [1], [2], [3], [4], [5], [6], [7] instantiation. module instruction, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29] abstract syntax, [1], [2], [3], [4], [5], [6], [7], [8] binary format, [1], [2], [3], [4], [5], [6], [7] execution, [1], [2], [3], [4], [5], [6], [7] text format, [1], [2], [3], [4], [5], [6], [7] validation, [1], [2], [3], [4], [5], [6], [7] instruction sequence, [1] instructions integer, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] abstract syntax binary format signed text format uninterpreted unsigned invocation, [1], [2], [3], [4]

K

keyword

L

label, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] abstract syntax index label index, [1], [2], [3], [4], [5], [6], [7], [8] abstract syntax binary format text format, [1] lane LEB128, [1] lexical format limits, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24] abstract syntax binary format memory table text format validation

linear memory little endian, [1], [2] local, [1], [2], [3], [4], [5], [6], [7], [8], [9] abstract syntax binary format index text format local index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] abstract syntax binary format text format

M

magnitude matching, [1] memory, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31] abstract syntax address binary format data, [1], [2], [3], [4] export import index instance limits, [1] section text format type validation memory address, [1], [2], [3], [4], [5], [6], [7] abstract syntax memory index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20] abstract syntax binary format text format

memory instance, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax memory instruction, [1], [2], [3], [4] memory section memory type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23] abstract syntax binary format text format validation module, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19] abstract syntax binary format instance text format validation module instance, [1], [2], [3], [4], [5], [6], [7], [8], [9] abstract syntax module instruction mutability, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] abstract syntax binary format global text format

N

name, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24] abstract syntax binary format text format name map name section, [1] NaN, [1], [2], [3] arithmetic canonical payload notation, [1], [2] abstract syntax binary format text format

null, [1] number, [1] type, [1] number type, [1], [2], [3], [4], [5], [6] abstract syntax, [1] binary format text format numeric instruction, [1], [2], [3], [4] numeric vectors, [1], [2]

O

offset opcode, [1], [2]

operand operand stack, [1]

P

page size, [1], [2], [3], [4], [5], [6] parameter, [1], [2] parametric instruction, [1], [2] parametric instructions, [1] passive, [1]

payload phases polymorphism, [1], [2], [3], [4], [5], [6] portability preservation progress

R

reduction rules reference, [1], [2], [3], [4], [5], [6], [7] type reference instruction, [1], [2] reference instructions, [1] reference type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13] abstract syntax binary format text format

result, [1], [2], [3], [4] abstract syntax type result type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] abstract syntax binary format resulttype rewrite rule rounding runtime, [1]

S

S-expression, [1] section, [1], [2], [3] binary format code custom data data count element export function global import memory name start table type security segment shape sign signed integer, [1], [2], [3] abstract syntax binary format text format

significand, [1] SIMD, [1], [2], [3] soundness, [1] source text, [1], [2] stack, [1], [2], [3] stack machine stack type start function, [1], [2], [3], [4], [5], [6], [7] abstract syntax binary format section text format validation start section store, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25] abstract syntax store extension string text format structured control, [1], [2], [3], [4] structured control instruction

T

table, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29] abstract syntax address binary format element, [1], [2], [3], [4] export import index instance limits, [1] section text format type validation table address, [1], [2], [3], [4], [5], [6], [7], [8] abstract syntax table index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21] abstract syntax binary format text format table instance, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] abstract syntax table instruction, [1], [2], [3], [4] table section table type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24] abstract syntax binary format text format validation terminal configuration text format, [1], [2], [3] byte character comment data, [1] data index element, [1] element index export, [1], [2], [3], [4] expression floating-point number function function index function type global global index global type grammar identifiers import, [1], [2], [3], [4] instruction, [1], [2], [3], [4], [5], [6], [7] integer label index, [1] limits local local index memory memory index memory type module mutability name notation number type reference type signed integer start function string table table index table type token type type definition type index type use uninterpreted integer unsigned integer value value type vector vector type white space

thread, [1], [2], [3] token, [1] trap, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] two's complement, [1], [2], [3], [4] type, [1], [2], [3], [4], [5] abstract syntax binary format block external function global index memory number, [1] reference result section table text format value type definition, [1], [2], [3], [4], [5], [6] abstract syntax text format type index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] abstract syntax binary format text format type section binary format type system, [1] type use text format typing rules

U

Unicode, [1], [2], [3], [4], [5], [6], [7] unicode Unicode UTF-8 uninterpreted integer, [1], [2], [3] abstract syntax binary format text format

unsigned integer, [1], [2], [3] abstract syntax binary format text format unwinding UTF-8, [1], [2], [3], [4]

V

validation, [1], [2], [3], [4], [5], [6], [7], [8], [9] block type data element export expression external type function type global global type import instruction, [1], [2], [3], [4], [5], [6], [7] limits memory memory type module start function table table type validity valtype

value, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27] abstract syntax, [1] binary format external text format type value type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34], [35], [36] abstract syntax binary format text format variable instruction variable instructions, [1], [2], [3] vector, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] abstract syntax, [1] binary format text format vector instruction, [1], [2], [3], [4] vector number vector type, [1], [2], [3], [4], [5], [6] binary format text format version

W

white space, [1]