Modicum
发表于 2025-3-28 15:22:49
A Trusted Mechanised Specification of JavaScript: One Year On establishing trust, by designing JSCert in such a way as to provide a strong connection with the JavaScript standard, and by developing JSRef, a reference interpreter which was proved correct with respect to JSCert and tested using the standard Test262 test suite. In this paper, we assess the previ