Interprocedural Exception Analysis for Java
例外を追跡する手法の提案。各構文要素に対してスローされる例外の集合と集合間の関係を定義する。やり方は結構素朴に見える。実装して評価までとってるみたいだけど、それほどストレートに実装できるようにはあまり見えない。
author="Byeong-Mo Chang and Jang-Wu Jo and Kwangkeun Yi and Kwang-Moo Choe",
title="{Interprocedural Exception Analysis for Java}",
booktitle="SAC 2001",
publisher="ACM Press",
pages="620--625",
year="2001"