[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.
--
Wojtek
More information about the Haskell-Cafe
mailing list