An analysis of the dynamic behavior of JavaScript programs
Type Analysis for JavaScript