The Web's lingua franca, JavaScript, is a large and complex language with an unconventional object model, a highly dynamic semantics, and many non-orthogonal features. We therefore defined λ_(js), a core language for JavaScript that presents just a small set of essential constructs. This core language was designed to be friendly to the needs of analysis and proof. Of course, many have denned purported core calculi for large and complex languages. Somewhat unconventionally, we actually implemented a compiler from the source language to λ_(JS).
展开▼
