名古屋大学大学院工学研究科
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
object calculus はオブジェクト指向計算モデルであるが,多くのプログラミング言語が持つ例外処理機能を表現することができない.そこで,本稿ではobject calculus のもっともシンプルなモデルであるOb<:1を拡張し例外処理機能を追加するとともに操作意味論と型システムを与え,型システムが操作意味論に対して健全であることを証明する.この型システムにより,Ob<:1のプログラムの各部分で発生する例外の型を静的に検査できる.
すでにアカウントをお持ちの場合 サインインはこちら