2010/01/01 by Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi · 1 voice · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Logic, programming, and type systems #Security and Verification in Computing #cs.PL
paper · pdf · doi:10.1007/978-3-642-14107-2_7
openalex publication_date 2010/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/29
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.