EmpireJS 2012 Talk

EmpireJS 2012 Talk
TAJS is a program analysis tool that can infer detailed and sound type information for JavaScript programs using abstract interpretation. Read the papers: Type Analysis for JavaScript (presented at SAS'09) [abstract | PDF | BibTeX] Interprocedural Analysis with Lazy Propagation (presented at SAS'10) [abstract | PDF | BibTeX] Modeling the HTML DOM and Browser API in Static Analysis of JavaScript We
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く