Type Analysis for JavaScript
JavaScript プログラムを抽象実行によって解析する手法の提案。フローグラフの各ノードの取り得る状態と、ある状態から次の状態への関数を定義し、全体が変化しなくなるまでぐるぐる回す。
author="Simon Holm Jensen and Anders Møller and Peter Thiemann",
title="{Type Analysis for JavaScript}",
booktitle="SAS'09",
publisher="Springer",
volume="5673",
series="LNCS",
pages="238--255",
year="2009"