Cover Image
QR Code

JavaScript Language Design and Implementation in Tandem.

This article proposes utilization of mechanized specification in programming language development with JavaScript. The article details the history of JavaScript language specification and implementation of open source conformance testing showing how amendable JavaScript is to this new method. Topics...

Full description

Published in:Communications of the ACM Vol. 67; no. 5; pp. 86 - 96
Main Authors: Ryu, Sukyoung, Park, Jihyeok
Format: Article
Published: Association for Computing Machinery May2024
Subjects:
JavaScript programming language
Computer specifications
Conformance testing
Debugging
Open source software
Online Access:View this record in EBSCOhost
Summary:This article proposes utilization of mechanized specification in programming language development with JavaScript. The article details the history of JavaScript language specification and implementation of open source conformance testing showing how amendable JavaScript is to this new method. Topics include synthesis of conformance tests by JEST and the creation of JSAVER which allows for the generation of an automatic static analyzer of any version of ECMA-262, Javascript’s language specification.