<< 2009/08/03 | ホーム | 2009/08/05 >>

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

タグ : ,
コメント追加 RSS feed for responses to this blog entry
投稿者 kw : 2009/08/04 21:30:00 JST #

本

ノモンハン戦争、田中克彦 著、岩波新書

読了。

タグ :
コメント追加 RSS feed for responses to this blog entry
投稿者 kw : 2009/08/04 10:15:00 JST #