3 ms·
Maybe formal specification could have been done for the language but not for the standard library. Note that formal specification of ECMAScript 5 does exist (J
by sanxiyn 8y ago
Maybe formal specification could have been done for the language but not for the standard library.
Note that formal specification of ECMAScript 5 does exist (JSCert), although it is not de jure and it does not handle the standard library.