#JS #semantics in a core JS, by Arjun Guha, Claudiu Saftoiu (??), and Shriram Krishnamurthi. Their core “λJS” is block-scoped and has side effects (computed property assignment expressions), with a Felleisen-Hieb small-step semantics, but not variable mutation or statement sequencing. It elides constant-property access e.x but not object literals {x:e} in favor of computed lookup. #bootstrapping #pdf
programming language theory notation: big-step and small-step operational #semantics, etc. Very short. #toread
on 02015-08-05