runtime-errors

コードにランタイムエラーがないことを証明する方法（そして、なぜ諦めるかもしれない理由）

抽象解釈を使えば、実行前にランタイムエラーが発生しないことを証明できる。実際の仕組み、難しさ、そしてツールチェーンでの位置づけを解説する。