Towards a Type System for Analyzing JavaScript Programs Export

@incollection{citeulike:2973885, abstract = {JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a rapidly evolving API whose implementations are sometimes contradictory and idiosyncratic. Second, the language is only weakly typed and comes virtually without development tools. The present work is a first attempt to address the second point. It does so by defining a type system that tracks the possible traits of an object and flags suspicious type conversions. Because JavaScript is a classless, object-based language with first-class functions, the type system must include singleton types, subtyping, and first class record labels. The type system covers a representative subset of the language and there is a type soundness proof with respect to an operational semantics. Keywords: dynamic type systems, program analysis, objects, functions.}, author = {Thiemann, Peter}, citeulike-article-id = {2973885}, citeulike-linkout-0 = {http://www.springerlink.com/content/nudp8rmw194glhqc}, journal = {Programming Languages and Systems}, keywords = {compilers, javascript, types}, pages = {408--422}, posted-at = {2008-07-08 23:12:17}, priority = {2}, title = {Towards a Type System for Analyzing JavaScript Programs}, url = {http://www.springerlink.com/content/nudp8rmw194glhqc}, year = {2005} }

TY - CHAP ID - citeulike:2973885 L3 - citeulike-article-id:2973885 N2 - JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a rapidly evolving API whose implementations are sometimes contradictory and idiosyncratic. Second, the language is only weakly typed and comes virtually without development tools. The present work is a first attempt to address the second point. It does so by defining a type system that tracks the possible traits of an object and flags suspicious type conversions. Because JavaScript is a classless, object-based language with first-class functions, the type system must include singleton types, subtyping, and first class record labels. The type system covers a representative subset of the language and there is a type soundness proof with respect to an operational semantics. Keywords: dynamic type systems, program analysis, objects, functions. JF - Programming Languages and Systems EP - 422 TI - Towards a Type System for Analyzing JavaScript Programs SP - 408 KW - compilers KW - javascript KW - types AU - Thiemann, Peter PY - 2005/// UR - http://www.springerlink.com/content/nudp8rmw194glhqc ER -