KJS: a complete formal semantics of JavaScript

Article Details
Title:	KJS: a complete formal semantics of JavaScript
Article URLs:	https://doi.org/10.1145/2737924.2737991
Alternative Article URLs:
Authors:	Daejun Park	University of Illinois at Urbana-Champaign, Computer Science
	Andrei Stefanescu	University of Illinois at Urbana-Champaign, Computer Science
	Grigore Rosu	University of Illinois at Urbana-Champaign, Computer Science
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/kframework/javascript-semantics
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1218605, 1318191, 1421575
DBLP Key:	conf/pldi/ParkSR15
Author Comments:

ACM Programming Language Design and Implementation, PLDI 2015