<< 2009/08/12 | ホーム | 2009/08/14 >>

数学最前線をになう挑戦者たち、Michael J. Bradley 著、松浦俊輔 訳、青土社

読了。

タグ :

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"

TAJS: Type Analyzer for JavaScript

タグ : ,