<< ドライブ | ホーム | Declarative Intraprocedural Flow Analysis of Java Source Code >>

Recency Types for Analyzing Scripting Languages

JavaScript みたいな言語を対象とした型システムの提案。主眼は変数に前とは違う型のデータが代入されてもどうかにするというところ。変数が指すオブジェクトが特定できる場合はそれを見て、特定できない場合はすべての可能性を考慮する、その境界がはっきりしている、という感じのはず。合ってるかな?

author="Phillip Heidegger and Peter Thiemann",
title="{Recency Types for Analyzing Scripting Languages}",
booktitle="ECOOP2010",
publisher="Springer",
volume="6183",
series="LNCS",
pages="200--224",
year="2010"

http://www.springerlink.com/content/13845531617t1083/

タグ : ,



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