制御演算子を持つオブジェクト指向言語

限定継続は多くのプログラミング言語の導入され始めています。継続を持つ言語の安全性を保証するためには、これらの言語を数学的に形式化することが重要ですが、既存の形式化の多くは関数型言語を対象としています。

我々は限定継続を持つオブジェクト指向言語を形式化しています。この形式化は Featherweight Java を限定継続演算子 shift/reset で拡張したものとなっています。