Type Checking for JavaScript

Anderson, Christopher; Giannini, Paola

doi:10.1016/j.entcs.2005.09.010

Cited by 21 publications

(27 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A few static typing systems have been proposed for JavaScript [1,2,11,19]. These approaches discover the type of values and object structures for a variable by statically analyzing the source code and possible program control flows lead to the variable assignment.…”

Section: Related Workmentioning

confidence: 99%

“…Our analysis does not include the functions defined dynamically by eval function or new Function(); these cases would only make the ratio even smaller. Therefore, we 2 We did not perform any preprocess to exclude third-party or repeated files in the provided source code bundles. a l e r t ( b a r .…”

Section: The Anonymous Function Problemmentioning

confidence: 99%

“…To get empirical evidence we analyzed the source code of ten wellknown JavaScript projects 2 . For every project, the total number of functions and the number of functions with an identifier are shown in Table 1.…”

Section: The Anonymous Function Problemmentioning

confidence: 99%

See 2 more Smart Citations

Naming anonymous javascript functions

Mirghasemi

Barton

Petitpierre

2011

Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Com

View full text Add to dashboard Cite

JavaScript developers create programs by calling functions and they use functions to construct objects. JavaScript development tools need to report to developers about those functions and constructors, for example in debugger callstacks and in object representations. However, most functions are anonymous: developers need not to specify names for functions. Based on our analysis of ten large, widely used JavaScript projects, less than 7% of JavaScript functions are named by developers. After studying examples from these JavaScript projects, we propose Static FunctionObject Consumption, a principled, automated approach based on local source code analysis for providing names to nameless JavaScript functions. We applied our approach to 90000 anonymous functions that appeared in the analyzed JavaScript projects. The approach is successful in naming more than 99% (91% are unique within their file) of anonymous functions while the average length of function names is kept less than 37 characters.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: The Anonymous Function Problemmentioning

confidence: 99%

See 1 more Smart Citation

Naming anonymous javascript functions

Mirghasemi

Barton

Petitpierre

2011

Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Com

View full text Add to dashboard Cite

show abstract

“…Many of these were developed before the ES5 specification was released [1,2,9,11,17]. None of those semantics are tested against a real-world test suite.…”

Section: Related Workmentioning

confidence: 99%

A tested semantics for getters, setters, and eval in JavaScript

Politz

Carroll

Lerner

et al. 2012

Proceedings of the 8th Symposium on Dynamic Languages

View full text Add to dashboard Cite

We present S5, a semantics for the strict mode of the ECMAScript 5.1 (JavaScript) programming language. S5 shrinks the large source language into a manageable core through an implemented transformation. The resulting specification has been tested against realworld conformance suites for the language. This paper focuses on two aspects of S5: accessors (getters and setters) and eval. Since these features are complex and subtle in JavaScript, they warrant special study. Variations on both features are found in several other programming languages, so their study is likely to have broad applicability.

show abstract

“…In [6] we introduced the language JS 0 and its type system. In this paper we have simplified the presentation of JS T 0 and its type system and defined a sound type inference algorithm.…”

Section: Introductionmentioning

confidence: 99%

Towards Type Inference for JavaScript

Anderson

Giannini

Drossopoulou

2005

ECOOP 2005 - Object-Oriented Programming

Self Cite

161

154

View full text Add to dashboard Cite

Abstract. Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes through addition of fields or updating of methods. These features make static typing difficult and so usually dynamic typing is used. Consequently, errors such as access to non-existent members are not detected until runtime. We first develop a formalism for an object based language, JS0, with features from JavaScript, including dynamic addition of fields and updating of methods. We give an operational semantics and static type system for JS0 using structural types. Our types allow objects to evolve in a controlled manner by classifying members as definite or potential. We define a type inference algorithm for JS0 that is sound with respect to the type system. If the type inference algorithm succeeds, then the program is typeable. Therefore, programmers can benefit from the safety offered by the type system, without the need to write explicitly types in their programs.

show abstract

Type Checking for JavaScript

Cited by 21 publications

References 3 publications

Naming anonymous javascript functions

Naming anonymous javascript functions

A tested semantics for getters, setters, and eval in JavaScript

Towards Type Inference for JavaScript

Contact Info

Product

Resources

About