56 search results - page 12 / 12 » Formalizing and verifying semantic type soundness of a simpl... |
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...