プログラミング言語の意味論で、small-step semanticsとbig step semanticsの中間的なbig-stop semanticsというものがあるらしい。

https://dl.acm.org/doi/10.1145/3776718

直感的には次のような感じっぽい。

• small-step semantics: 式e1は1ステップ計算すると式e2になる。
• big-step semantics: 式eは最終的に値vになる。
• big-stop semantics: 式e1は何ステップか計算するとe2になる。

big-step semanticsっぽく簡単に書けて、停止しない計算も素直に扱える。