Index

Symbols

: abstract syntax administrative instruction

A

abbreviations abstract syntax, [1], [2], [3] byte data, [1] element, [1] element type 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 import, [1] instruction, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] 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 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

activation address, [1], [2], [3], [4] function global 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] byte custom section data element element type export expression floating-point number function, [1] function index function type global global index global type grammar import instruction, [1], [2], [3], [4] integer label index limits local local index memory memory index memory type module mutability name notation 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

bit bit width, [1], [2], [3], [4] block, [1], [2], [3], [4], [5], [6] block context Boolean, [1], [2] 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] abstract syntax binary format text format

C

call, [1], [2] canonical NaN 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] 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] abstract syntax binary format section segment, [1], [2], [3], [4] text format, [1] validation

data section data segment decoding design goals determinism, [1]

E

element, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15] abstract syntax binary format section segment, [1], [2], [3], [4] text format, [1] type validation element section element segment element type, [1], [2], [3], [4] abstract syntax binary format text format embedder, [1], [2], [3], [4], [5], [6] embedding evaluation context, [1] execution, [1], [2], [3], [4] expression instruction, [1], [2], [3], [4] 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 type extern value 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] 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] 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], [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] 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]

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] 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] function global label local memory table type index space, [1], [2], [3], [4], [5]

instance, [1] 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] abstract syntax, [1], [2], [3], [4], [5] binary format, [1], [2], [3], [4] execution, [1], [2], [3], [4] text format, [1], [2], [3], [4] validation, [1], [2], [3], [4] instruction sequence, [1] integer, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] 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] LEB128 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], [25] 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] 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], [8] 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], [10] 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 numeric instruction, [1], [2], [3], [4]

O

offset opcode, [1], [2]

operand operand stack, [1]

P

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

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

R

reduction rules 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 text format

resulttype rewrite rule rounding runtime, [1]

S

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

significand, [1] 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] 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] 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] abstract syntax binary format text format table instance, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] abstract syntax 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] abstract syntax binary format text format validation terminal configuration text format, [1], [2], [3] byte character comment data, [1] element, [1] element type 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] integer label index, [1] limits local local index memory memory index memory type module mutability name notation result 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 white space

thread, [1], [2], [3] token, [1] trap, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] two's complement, [1], [2], [3], [4] type, [1], [2], [3], [4], [5] abstract syntax binary format element external function global index memory 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 unwinding UTF-8, [1], [2], [3], [4]

V

validation, [1], [2], [3], [4], [5], [6], [7], [8] data element export expression external type function type global global type import instruction, [1], [2], [3], [4] 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] 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] 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 binary format text format version

W

white space, [1]