KJS: A Complete Formal Semantics of JavaScript

(github.com)

17 points | by andsoitis a day ago ago

3 comments

  • onedognight 16 hours ago ago

    This 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/mast...

  • Narishma a day ago ago

    Poor name, clashes with the old KDE Javascript engine used with KHTML.

    • hyperhello a day ago ago

      If you’re going to have an ‘ecosystem’ then you’re going to have ‘species selection’.