2009 · 13 citations · 9 references
EngineeringJavascript ProgramsSoftware EngineeringSoftware AnalysisDependently Typed ProgrammingDynamic SystemsBetter UnderstandingDynamic Programming LanguageComputer ScienceType SystemWeb TrendDynamic Web PageSoftware DesignComputational ScienceWeb PerformanceProgram AnalysisSoftware TestingFormal MethodsDynamics
We report on preliminary results on understanding the nature of JavaScript programs. Our investigation is motivated by the goal of developing a type system for JavaScript programs. As a prelude, we decide to gain a better understanding of the dynamic behaviour of JavaScript programs. In particular we are interested in understanding how dynamic JavaScript programs are in the real world.
9
The design and implementation of typed scheme
Sam Tobin-Hochstadt, Matthias Felleisen · 2008 · 310 citations
Robert Cartwright, Mike Fagan · 1991 · 300 citations · Full text
Cormac Flanagan · 2006 · 267 citations
Optimizing dynamically-dispatched calls with run-time type feedback
Urs Hölzle, David Ungar · 1994 · 265 citations · Full text
Sam Tobin-Hochstadt, Matthias Felleisen · 2006 · 204 citations