<< 2010/02/07 | ホーム | 2010/02/09 >>

A Core Calculus for Java Exceptions

Java の例外をフォーマルに扱うための体系の提案。体系としては Featherweight Java に例外を入れた感じ。例外関係の使用をすべて扱うために抽象クラスとかインタフェースも追加。簡単にするために任意のクラスが例外クラスとなったり、非チェック例外がない。Java の使用に従って操作意味と型システムを定義して subject reduction を証明。

author="D. Ancona and G. Lagorio and E. Zucca",
title="{A Core Calculus for Java Exceptions}",
booktitle="OOPSLA '01",
publisher="ACM",
pages="16--30",
year="2001"

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

タグ : ,