An operational semantics for javascript. Programming Languages and Systems (2008)

by S Maffeis, J Mitchell, A Taly