The Essence of JavaScript
ECOOP'10: Proceedings of the 24th European conference on Object-oriented programming(2015)
摘要
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.
更多查看译文
关键词
Type System, Test Suite, Typing Rule, Evaluation Context, Syntactic Form
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要