<< 本 | ホーム | 本 >>

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"

http://doi.acm.org/10.1145/372202.372786

タグ : ,



コメント追加 トラックバック送信