JISET: Extracting JavaScript Interpreters from Language Specifications
JISET, a JavaScript IR-based Semantics Extraction Toolchain, can automatically synthesize JavaScript interpreters directly from the JavaScript specification, ECMAScript. It detected nine errors in the latest ECMAScript, and three errors in the next ECMAScript.
Article | Special Issue
JavaScript is one of th...