243 search results - page 2 / 49 » Towards a Type System for Analyzing JavaScript Programs |
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
ECOOP
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
CSFW
2012
IEEE
11 years 7 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
USS
2010
13 years 2 months ago
2010
The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have...
MOBILITY
2009
ACM
13 years 9 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...