Machine readable specifications

Michael Dyck jmdyck at ibiblio.org
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
others.

-Michael




More information about the es-discuss mailing list