3 ms·
KJS: A Complete Formal Semantics of JavaScript
- Narishma 11mo agoPoor name, clashes with the old KDE Javascript engine used with KHTML.
- hyperhello 11mo agoIf you’re going to have an ‘ecosystem’ then you’re going to have ‘species selection’.
- onedognight 11mo agoThis is a great result[0]: > we found that there are 17 semantic rules in the core semantics which are not covered by the [ECMAScript Conformance Test Suite] > we succeeded to manually write test programs that hit 11 out of 17 behaviors > the remaining 6 semantic behaviors are infeasible, that is, they represent flaws in the language standard itself [0] https://github.com/kframework/javascript-semantics/blob/master/test262-coverage/README.md https://github.com/kframework/javascript-semantics/blob/mast...