[Haskell-cafe] ECMA262 (Javascript) interpreter

Wojtek Narczyński wojtek at power.com.pl
Sat Dec 20 08:24:00 UTC 2014

On 07.12.2014 06:48, Fabian Bergmark wrote:
> I have been implementing an ECMA-262 (Javascript) interpreter over the
> last few weeks. I have been following
> http://www.ecma-international.org/ecma-262/5.1 and tried to keep my
> implementation as close to the specification as possible.
Have you seen http://www.jscert.org/? It is JavaScript formal 
specification (JSCert) and interpreter (JSRef), written in Coq, with 
certain properties proven. If your goal is correctness, then it might be 
of interest to you.


More information about the Haskell-Cafe mailing list