KJS: a complete formal semantics of JavaScript

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 03, 2015
Source ID
10.1145/2737924.2737991

Entities

People

  • Andrei Stefănescu
  • Daejun Park
  • Grigore Rosu

Organizations

  • Boeing
  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Illinois Urbana–Champaign