Skip to content

KJS: a complete formal semantics of JavaScript.

Daejun Park, Andrei Stefanescu, Grigore Rosu

VenueA*PLDI
Year2015
ProceedingsPLDI

Browse the full PLDI paper archive.