[Haskell-cafe] ECMA262 (Javascript) interpreter

[Wojtek Narczyński]

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.

-- 
Wojtek