Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
KJS: A Complete Formal Semantics of JavaScript (github.com/kframework)
17 points by andsoitis 17 hours ago | hide | past | favorite | 3 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

[0] https://github.com/kframework/javascript-semantics/blob/mast...


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’.



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: