KJS: A Complete Formal Semantics of JavaScript

github.com

18 pointsandsoitis3 comments

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

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

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