停止性

最近、私にとって「形式手法」が「旬」なのですが、「停止性」について疑問があります。
（あーーー、停止性という言葉もチョット違和感があって、「フリーズ」とか「異常終了」のような感じを受けます。実際は「正常終了」とか「完了」という意味なんだけれど）

で、その停止性ですが「無限ループ」だけしか議論してません。少なくとも私が読んでる本は。
でも実際には、
０除算したり、
nullポインタ参照したり、
配列の範囲を超えてアクセスしたり、
intの範囲を超えたり、
いろんな原因があるのになぜそれらは議論しないのかな？