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"