<< Explaining Type Errors In Polymorphic Languages | ホーム | キーボード >>

Efficient Type Inference for Secure Information Flow

制約解消ではない方法で型推論を行うという論文。やり方としては、型付け規則を Datalog という論理型言語に基づくデータベースクエリ言語で記述するというのが中心。あとは効率の良いアルゴリズムの話ばかり。

author="Katia Hristova and Tom Rothamel and Yanhong A. Liu and Scott D. Stoller",
title="{Efficient Type Inference for Secure Information Flow}",
booktitle="PLAS'06",
publisher="ACM Press",
pages="85--94",
year="2006"

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

タグ : ,



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