EN FR
EN FR


Section: New Software and Platforms

JSCert

Certified JavaScript

Functional Description

The JSCert project aims to develop a formal understanding of the JavaScript programming language. JSCert itself is a mechanised specification of JavaScript, written in the Coq proof assistant, which closely follows the ECMAScript 5 English standard. JSRef is a reference interpreter for JavaScript in OCaml , which has been proved correct with respect to JSCert and tested with the Test 262 test suite.

  • Participants: Martin Bodin and Alan Schmitt

  • Partner: Imperial College London

  • Contact: Alan Schmitt

  • URL: http://jscert.org/