Team, Visitors, External Collaborators
Overall Objectives
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: New Results

Certified Semantics and Analyses for JavaScript

Participants : Samuel Risbourg, Alan Schmitt.

Alan Schmitt and Samuel Risbourg have continued to develop JSExplain, an interpreter for JavaScript that is as close as possible to the specification. The tool is publicly available at https://github.com/jscert/jsexplain. It was presented to the TC39 committee standardizing JavaScript in December to solicit feedback.