An operational semantics for javascript
Status report: specifying javascript with ML