Type Analysis for JavaScript

  title={Type Analysis for JavaScript},
  author={Simon Holm Jensen and Anders M\oller and Peter Thiemann},
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but there is still little tool support available during development. We present a static program analysis infrastructure that can infer detailed and sound type information for JavaScript programs using abstract interpretation. The analysis is designed to support the full language as defined in the ECMAScript standard… CONTINUE READING
Highly Influential
This paper has highly influenced 33 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 231 citations. REVIEW CITATIONS
160 Citations
28 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 160 extracted citations

231 Citations

Citations per Year
Semantic Scholar estimates that this publication has 231 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 28 references

Recency types for dynamically-typed object-based languages

  • Phillip Heidegger, Peter Thiemann
  • In Proc. International Workshops on Foundations…
  • 2009
5 Excerpts

JavaScript development toolkit

  • Bradley Childs
  • (JSDT) features
  • 2008
1 Excerpt

Statisk analyse af JavaScript: Indledende arbejde

  • Rasmus Kromann-Larsen, Rune Simonsen
  • Master’s thesis, Department of Computer Science…
  • 2007
1 Excerpt

Reps . Recency - abstraction for heap - allocated storage

  • William R. Bush, Jonathan D. Pincus
  • Proc . 13 th International Static Analysis…
  • 2006

Similar Papers

Loading similar papers…