Index of Semantic Rules

Typing of Static Constructs

Construct

Judgement

Limits

limits:k

Function type

functypeok

Block type

blocktypeok

Table type

tabletypeok

Memory type

memtypeok

Tag type

tagtypeok

Global type

globaltypeok

External type

externtypeok

Instruction

S;Cinstr:stacktype

Instruction sequence

S;Cinstr:stacktype

Catch clause

Ccatchok

Expression

Cexpr:resulttype

Function

Cfunc:functype

Table

Ctable:tabletype

Memory

Cmem:memtype

Tag

Ctag:tagtype

Global

Cglobal:globaltype

Element segment

Celem:reftype

Element mode

Celemmode:reftype

Data segment

Cdataok

Data mode

Cdatamodeok

Start function

Cstartok

Export

Cexport:externtype

Export description

Cexportdesc:externtype

Import

Cimport:externtype

Import description

Cimportdesc:externtype

Module

module:externtypeexterntype

Typing of Runtime Constructs

Construct

Judgement

Value

Sval:valtype

Result

Sresult:resulttype

External value

Sexternval:externtype

Function instance

Sfuncinst:functype

Table instance

Stableinst:tabletype

Memory instance

Smeminst:memtype

Tag instance

Staginst:tagtype

Global instance

Sglobalinst:globaltype

Element instance

Seleminst:t

Data instance

Sdatainstok

Export instance

Sexportinstok

Module instance

Smoduleinst:C

Store

storeok

Configuration

configok

Thread

S;resulttype?thread:resulttype

Frame

Sframe:C

Constantness

Construct

Judgement

Constant expression

Cexprconst

Constant instruction

Cinstrconst

Matching

Construct

Judgement

External type

externtype1externtype2

Limits

limits1limits2

Store Extension

Construct

Judgement

Function instance

funcinst1funcinst2

Table instance

tableinst1tableinst2

Memory instance

meminst1meminst2

Tag instance

taginst1taginst2

Global instance

globalinst1globalinst2

Element instance

eleminst1eleminst2

Data instance

datainst1datainst2

Store

store1store2

Execution

Construct

Judgement

Instruction

S;F;instrS;F;instr

Expression

S;F;exprS;F;expr