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. We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites. Finally, we illustrate utility by defining a security property, implementing it as a type system on the core, and extending it to the full language. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Guha, A., Saftoiu, C., & Krishnamurthi, S. (2010). The essence of javascript. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6183 LNCS, pp. 126–150). https://doi.org/10.1007/978-3-642-14107-2_7
Mendeley helps you to discover research relevant for your work.