Machine readable specifications

Mark S. Miller erights at
Sat Mar 23 07:36:40 PDT 2013

[+arjun, +joe, +ankur, +philippa, +gareth]

On Fri, Mar 22, 2013 at 11:34 PM, Sam Tobin-Hochstadt <samth at>wrote:

> On Fri, Mar 22, 2013 at 6:15 PM, Michael Dyck <jmdyck at> 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:
> Another, unnamed semantics, by Ankur Taly and others:

See also
a description of Ankur's semantics for SES-on-ES5.

Both semantics have been used as the basis for further work by other
groups, such as the JSCert group you link to above. (Btw, I am in London
right now in order to meet with them this Monday and Tuesday. I'll also be
doing a presentation on Dr. SES at Imperial on Monday.)

> 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 at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the es-discuss mailing list