A promising new approach to programming language development is to design languages with mechanized specifications from the beginning. JavaScript is the first programming language for which each ...