<< Hiding Program Slices for Software Security | ホーム | DHTMLにおけるDOMの解析手法 >>

Gradual Typing for Objects

Object Calculus における漸進的型付けの話。漸進的型付けは、型宣言されている部分は静的に検査し、その他の部分は動的に型付けを行う。境界を表す型 ? を導入して型システムを構築。型付けできれば型エラーが発生しないことの健全性は、型が一致するようにキャストが明示的に記述される言語において示し、元言語からの変換の健全性によって間接的に証明。

author="Jeremy Siek and Walid Taha",
title="{Gradual Typing for Objects}",
booktitle="ECOOP 2007",
publisher="Springer",
pages="2--27",
year="2007"

タグ : ,



コメント追加 トラックバック送信