On Fri, Mar 22, 2013 at 6:15 PM, Michael Dyck <jmdyck at 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

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.