MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification
A polyfill is a JavaScript implementation of built-in APIs for older execution environments lacking native support. Because developers rely on them to run modern features everywhere, strict conformity to the official language specification (ECMA-262) is crucial. However, manual implementation remains the industry stand...