スモールステップ意味論
構造的操作的意味論、遷移意味論とも。
小さなステップで簡約（reduce）することを構文に対して繰り返すこと
参考
『アンダースタンディングコンピュテーション』