KJS: A complete formal semantics of javascript

Daejun Park, Andrei Stefanescu, Grigore Rosu

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'KJS: A complete formal semantics of javascript'. Together they form a unique fingerprint.

Keyphrases

Computer Science