84 citations · 84 across the 1 of their papers we have counts for
1 paper
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
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…