Runtime Semantics

Semantics を指定するアルゴリズムのうち Runtime で呼ばれるべきもの。

略称は RS

TL;DR:

アルゴリズム名の接頭辞に Runtime Semantics: とついていたら、Runtime でしか呼ばれないアルゴリズムだと考えればよい。

Links to this page

Static Semantics

関連: Runtime Semantics
Mathematical Operations

ちなみに MV of と記載される場合もあり、その場合の MV は Static Semantics あるいは Runtime Semantics 等として具体的なアルゴリズムがどこかに定義されている。