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 handler 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] tag, [1], [2] tag address tag index tag instance tag type 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 tag 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 tag tag index tag 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 catch block catching try block caught, [1] caught exception 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] exception, [1], [2], [3], [4], [5], [6], [7] handling exception handler exception handling, [1], [2] exception instructions

exception tag, [1], [2], [3], [4], [5], [6], [7], [8] tag 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], [18] abstract syntax binary format instance section text format, [1], [2], [3], [4], [5] 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], [28] 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], [37], [38], [39], [40], [41], [42], [43], [44] abstract syntax binary format text format validation function type index

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], [16] 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], [21] abstract syntax binary format text format validation grammar notation, [1], [2] grow, [1]

H

handler, [1], [2], [3], [4], [5] abstract syntax handling exception

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

I

identifier, [1], [2], [3], [4], [5], [6], [7], [8], [9] 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], [24] abstract syntax binary format section text format, [1], [2], [3], [4], [5] validation import section index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16] data element function global label local memory table tag type index space, [1], [2], [3], [4], [5] instance, [1] data element export function global memory module table tag

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, [1] 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], [9] abstract syntax binary format text format, [1] label type, [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], [11] 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], [25], [26] 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

reftype 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], [16], [17] abstract syntax binary format 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 tag 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 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], [26] 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 tag, [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, [1] address binary format exception tag export import index instance section text format type; exception validation tag address, [1], [2], [3], [4], [5], [6], [7] abstract syntax tag index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax binary format text format tag instance, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] abstract syntax tag section tag type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22] binary 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], [5] expression floating-point number function function index function type global global index global type grammar identifiers import, [1], [2], [3], [4], [5] 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 tag tag index token type type definition type index type use uninterpreted integer unsigned integer value value type vector vector type white space

thread, [1], [2], [3] throw, [1] throw address throw context, [1], [2], [3], [4], [5] token, [1] trap, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] try block 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] 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 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 tag tag type validity

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], [37], [38] 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]