主にコードの静的な解析関連で、例えばコードが ECMAScript として正しいかとか、コードを見てこれはこういう意味をもったコードだと判定したりといった Static な Semantics をもったアルゴリズムのこと。Context-Free Grammars だけでは表現しきれないルールのために用いられる。
略称は SS
TL;DR:
アルゴリズム名の接頭辞に Static Semantics: とついていたら Runtime ではなくコードの静的な解析とかに関連するアルゴリズムだと考えればよい。