Machine readable specifications

Michael Dyck jmdyck at
Fri Mar 22 15:15:18 PDT 2013

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


More information about the es-discuss mailing list