20 Dec
2014
20 Dec
'14
3:24 a.m.
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