Skip to Content.

Sympa Menu

coq-club - [Coq-Club] formalising Javascript

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] formalising Javascript

From: Gergely Buday <gbuday AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] formalising Javascript
Date: Fri, 1 May 2015 21:12:14 +0200

Hi,

with a quick search I have found two formalisations of _javascript_:

http://www.jscert.org/

and

http://blog.brownplt.org/2012/06/04/lambdajs-coq.html

and a theoretical work:

http://www-cs-students.stanford.edu/~ataly/Papers/aplas08.pdf

Can you point to other work in this field?

Cheers

- Gergely

[Coq-Club] formalising Javascript, Gergely Buday, 05/01/2015

Archive powered by MHonArc 2.6.18.