Index

Symbols | A | B | C | D | E | F | G | H | I | K | L | M | N | O | P | R | S | T | U | V | W

Symbols

: abstract syntax
administrative instruction
meta instruction

A

abbreviations
abstract syntax, [1], [2], [3]
byte
data, [1]
element, [1]
element type
export, [1]
export instance
expression, [1], [2]
external type
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 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]
arithmetic NaN
ASCII, [1], [2]

B

binary format, [1], [2], [3], [4]
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]
abstract syntax
binary format
text format

C

call, [1], [2]
canonical NaN
character, [1], [2], [3], [4], [5], [6]
text format
closure
code, [1]
section
code point, [1], [2], [3]
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]
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]
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]
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]
abstract syntax
binary format
instance
section
text format, [1], [2], [3], [4]
validation
export instance, [1], [2], [3]
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
external value, [1], [2], [3], [4], [5], [6]
abstract syntax

F

file extension, [1]
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], [15]
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]
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]
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]
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]
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]
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]
abstract syntax
binary format
text format
validation
globaltype
grammar notation, [1], [2]

H

host function, [1], [2]

I

identifier, [1], [2], [3], [4], [5], [6], [7], [8]
identifier context, [1]
identifiers
text format
IEEE 754, [1], [2], [3], [4]
implementation
implementation limitations
import, [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
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], [24], [25]
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], [12]
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]
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]
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]
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]
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]
abstract syntax
binary format
text format
validation
meta instruction
: abstract syntax
module, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16]
abstract syntax
binary format
instance
text format
validation
module instance, [1], [2], [3], [4], [5], [6], [7], [8]
abstract syntax
module instruction, [1], [2]
module instructions
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]
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]
type
result type, [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14]
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
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], [8]
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]
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]
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]
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]
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]
abstract syntax
binary format
text format
validation
terminal configuration
text format, [1]
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], [4]
token, [1]
trap, [1], [2], [3], [4], [5], [6], [7], [8], [9]
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]
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]

V

validation, [1], [2], [3], [4], [5], [6], [7]
data
element
export
expression
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]
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]