Team, Visitors, External Collaborators
Overall Objectives
New Software and Platforms
New Results
Partnerships and Cooperations
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 It was presented to the TC39 committee standardizing JavaScript in December to solicit feedback.