On Fri, Mar 22, 2013 at 6:15 PM, Michael Dyck <jmd...@ibiblio.org> wrote: > 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.
The two projects Andreas is referring to are: S5 and LambdaJS, by Arjun Guha and others: http://www.jswebtools.org/ Another, unnamed semantics, by Ankur Taly and others: http://jssec.net/ S5, which covers (almost) all of ES5, is still under development, and passes a large portion of Test262. Sam _______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss