Can I read TeJaS: retrofitting type systems for JavaScript on EtoBox?

TeJaS: retrofitting type systems for JavaScript by Benjamin S. Lerner; Joe Gibbs Politz; Arjun Guha; Shriram Krishnamurthi is a Computer Science article available to read on EtoBox.

What is TeJaS: retrofitting type systems for JavaScript about?

JavaScript programs vary widely in functionality, complexity, and use, and analyses of these programs must accommodate such variations. Type-based analyses are typically the simplest such analyses, but due to the language's subtle idioms and many application-specific needs---such as ensuring general-purpose type correctness, security properties, or proper library usage---we have found that a single type system does not suffice for all purposes. However, these varied uses still share many reusable common elements. In this paper we present TeJaS, a framework for building type systems for JavaScript. TeJaS has been engineered modularly to encourage experimentation. Its initial type environment is reified, to admit easy modeling of the various execution contexts of JavaScript programs, and its type language and typing rules are extensible, to enable variations of the type system to be constructed easily. The paper presents the base TeJaS type system, which performs traditional type-checking for JavaScript. Because JavaScript demands complex types, we explain several design decisions to improve user ergonomics. We then describe TeJaS's modular structure, and illustrate it by reconstruct

Who reads TeJaS: retrofitting type systems for JavaScript?

Author

Benjamin S. Lerner; Joe Gibbs Politz; Arjun Guha; Shriram Krishnamurthi

Publisher

ACM

Published

2013

Language

EN

Field

Computer Science (Physical Sciences)