The goal of this document is to provide a comprehensive guide to the ESMeta framework, a tool that extracts a mechanized specification of ECMA-262, the official language specification for JavaScript (formally ECMAScript). ESMeta is developed in Scala and is open-sourced under the BSD-3-Clause license.
Please see the following sections for more details:
If you want to run the tools generated by ESMeta, please refer to the following documents:
For more in-depth information, please refer to the following documents: