<< JavaScript Instrumentation for Browser Security | ホーム | Towards Type Inference for JavaScript >>

Towards a Type System for Analyzing JavaScript Programs

JavaScript の型システムの提案。クラス定義を書かない点や暗黙の型変換に対応するための工夫をしたらしい。preservation と progress が証明されている。型システムの細かいところまで読み切れていないので、また読み直したい。

author="Peter Thiemann",
title="{Towards a Type System for Analyzing JavaScript Programs}",
booktitle="ESOP 2005",
publisher="Springer",
volume="3444",
series="LNCS",
pages="408--422",
year="2005"

タグ : ,



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