Index

Symbols

: abstract syntax administrative instruction

A

abbreviations abstract syntax, [1], [2], [3], [4] array address array instance array type, [1] block type, [1] byte composite type, [1] data, [1] data address data index data instance defined type, [1], [2] element, [1] element address element index element instance element mode exception address exception instance export, [1] export instance expression, [1], [2] external type, [1] external value field index field type, [1], [2] field value floating-point number frame function, [1], [2] function address function index function instance function type, [1], [2] global, [1] global address global index global instance global type, [1] grammar handler heap type, [1], [2] 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], [25] instruction type, [1] integer label label index limits, [1] local, [1] local index local type memory, [1] memory address memory index memory instance memory type, [1] module, [1] module instance mutability name notation number type, [1], [2] packed type, [1] packed value recursive type, [1] recursive type index reference type, [1] result result type, [1] signed integer start function, [1] storage type, [1] store structure address structure instance structure type, [1] sub type, [1], [2] table, [1] table address table index table instance table type, [1] tag, [1], [2] tag address tag index tag instance tag type type, [1], [2] type definition type index uninterpreted integer unsigned integer value, [1] value type, [1], [2], [3] vector, [1] vector type

abstract type, [1] activation active, [1] address, [1], [2], [3], [4], [5] array data element exception function global host memory structure table tag administrative instruction, [1] : abstract syntax administrative instructions aggreagate type aggregate reference aggregate type, [1], [2], [3], [4], [5] binary format text format validation algorithm allocation, [1], [2], [3] annotation, [1], [2] arithmetic NaN array, [1] address instance array address abstract syntax array instance, [1], [2], [3], [4], [5], [6] abstract syntax array type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13] abstract syntax binary format text format validation ASCII, [1], [2]

B

binary format, [1], [2], [3], [4], [5], [6] aggregate type array type block type byte composite type custom section data data count data index element element index export expression field index field type floating-point number function, [1] function index function type global global index global type grammar heap type 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 packed type recursive type reference type result type section signed integer start function storage type structure type sub type 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], [6] 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, [1] 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], [3] canonical NaN cast catch clause catching try block caught caught exception changes character, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] text format closed type closure code, [1] section code section comment, [1]

composite type, [1], [2], [3], [4], [5], [6], [7], [8], [9] abstract syntax binary format text format validation composite types compositionality concepts concrete type, [1] configuration, [1], [2], [3] constant, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] context, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] control instruction control instructions, [1], [2], [3] custom annotation custom section, [1], [2], [3] 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], [4] declarative decoding default value defaultable, [1] defined type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] abstract syntax, [1], [2] design goals determinism, [1], [2], [3], [4], [5], [6] deterministic profile dynamic type, [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], [8], [9], [10], [11], [12] address instance exception address, [1], [2] abstract syntax exception handler exception handling exception instance, [1], [2], [3], [4], [5], [6] abstract syntax

exception tag, [1], [2], [3], [4], [5], [6], [7], [8] tag exception type execution, [1], [2], [3], [4], [5] expression instruction, [1], [2], [3], [4], [5], [6], [7] expand expansion exponent, [1] export, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20] 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], [20], [21], [22] abstract syntax binary format constant, [1], [2], [3] execution text format validation extern type extern value external type value external reference, [1] external type, [1], [2], [3], [4], [5], [6] abstract syntax validation external value, [1], [2], [3], [4], [5] abstract syntax

F

field, [1], [2] index field index, [1], [2] abstract syntax binary format field type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13] abstract syntax binary format text format validation field value, [1], [2], [3], [4], [5] abstract syntax file extension, [1] final, [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 full profile 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], [35], [36], [37], [38], [39], [40], [41] 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] 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], [17] 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], [45], [46], [47], [48], [49], [50] 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], [20] 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], [21], [22] abstract syntax binary format text format validation grammar notation, [1], [2] greatest lower bound grow, [1]

H

handler, [1], [2], [3], [4], [5] abstract syntax heap type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax, [1] binary format text format validation

host, [1], [2] 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], [25], [26] 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 field function global label local memory table tag type index space, [1], [2], [3], [4], [5] instance, [1] array data element exception export function global memory module structure 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], [30], [31], [32], [33], [34], [35], [36], [37] abstract syntax, [1], [2], [3], [4], [5], [6], [7], [8], [9] 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] type validation, [1], [2], [3], [4], [5], [6], [7] instruction sequence, [1] instruction type, [1], [2], [3], [4], [5], [6], [7], [8], [9] abstract syntax validation 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, [1] least upper bound 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], [10], [11], [12], [13], [14], [15] abstract syntax binary format index text format type validation local index, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] abstract syntax binary format text format local type, [1], [2], [3], [4], [5], [6] abstract syntax

M

magnitude matching, [1], [2] 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], [32], [33] 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], [21] 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], [24] 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], [20], [21] abstract syntax binary format instance text format validation module instance, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] abstract syntax module instruction mutability, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] 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], [27] abstract syntax binary format text format name annotation name map name section, [1] NaN, [1], [2], [3] arithmetic canonical payload non-determinism, [1], [2], [3], [4], [5], [6] notation, [1], [2] abstract syntax binary format text format

null, [1], [2] null reference number, [1] type, [1] number type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] abstract syntax, [1] binary format text format validation numeric instruction, [1], [2], [3], [4] numeric vector, [1], [2], [3]

O

offset opcode, [1], [2]

operand operand stack, [1]

P

packed type, [1], [2], [3], [4], [5], [6], [7] abstract syntax binary format text format validation packed value, [1] abstract syntax page size, [1], [2], [3], [4], [5], [6] parameter, [1], [2], [3] parametric instruction, [1], [2] parametric instructions, [1]

passive, [1] payload phases polymorphism, [1], [2], [3], [4], [5], [6], [7] portability preservation principal types profile deterministic full profiles progress

R

reachability recursive type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax, [1] binary format text format recursive type index, [1], [2], [3], [4] abstract syntax reduction rules reference, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] type reference instruction, [1], [2], [3] reference instructions, [1] reference 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] abstract syntax binary format text format validation

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], [18], [19], [20], [21], [22], [23] abstract syntax binary format validation rewrite rule roll rolling, [1] rounding runtime, [1]

S

S-expression, [1] scalar reference, [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], [4] 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 storage type, [1], [2], [3], [4], [5], [6], [7] abstract syntax binary format text format validation 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], [27], [28], [29], [30] abstract syntax store extension string text format structure, [1] address instance structure address abstract syntax structure field structure instance, [1], [2], [3], [4], [5], [6] abstract syntax structure type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax binary format text format validation structured control, [1], [2], [3], [4] structured control instruction sub type, [1], [2], [3], [4], [5], [6], [7], [8] abstract syntax, [1], [2] binary format text format substitution subtyping, [1], [2], [3], [4], [5], [6], [7], [8] syntax

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], [30], [31] 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], [25], [26] 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], [26], [27], [28] 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], [8], [9] 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], [23] binary format validation terminal configuration text format, [1], [2], [3], [4], [5], [6] aggregate type annotation array type byte character comment composite type data, [1] data index element, [1] element index export, [1], [2], [3], [4], [5] expression field type floating-point number function function index function type global global index global type grammar heap type 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 packed type recursive type reference type signed integer start function storage type string structure type sub type table table index table type tag tag index token type type index type use uninterpreted integer unsigned integer value value type vector vector type white space

thread, [1], [2], [3] throw throw address throw context, [1], [2] token, [1] trap, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13] try block two's complement, [1], [2], [3], [4] type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13] abstract syntax, [1] binary format block external function global index instruction local memory number, [1] reference result section table text format value type closure type definition, [1], [2], [3], [4], [5] abstract syntax type equivalence, [1] type identifier type 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 type instance, [1] type instantiation type lattice type section binary format type system, [1], [2], [3] type use text format typing rules

U

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

unroll, [1], [2] unrolling, [1] 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], [10], [11] aggregate type array type block type composite type data element export expression external type field type function type global global type heap type import instruction, [1], [2], [3], [4], [5], [6], [7] instruction type limits local memory memory type module number type packed type reference type result type start function storage type structure type table table type tag tag type value type vector 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], [28], [29], [30] 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], [39], [40], [41], [42], [43], [44], [45], [46], [47], [48], [49], [50], [51], [52], [53], [54], [55] abstract syntax, [1] binary format text format validation 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], [5] vector number vector type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11] binary format text format validation version

W

white space, [1]