Andreas Rossberg wrote:
FWIW, there are at least two serious efforts of actually formalising and mechanising the JavaScript language, i.e. its _semantics_, which is a much more interesting endeavor.
Could you give (or point me to) details of these projects? I've done some work along these lines (though I'm not sure it qualifies as "serious"), so I'm wondering if I'm just reinventing the work of others. -Michael _______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss