InfoQ Homepage Presentations Formal Specification of a JavaScript Module System
Formal Specification of a JavaScript Module System
17:36
Summary
In this paper, we propose a formal specification of a JavaScript module system. A module system for JavaScript will allow safe and incremental development of JavaScript web applications.
Bio
Seonghoon Kang, KAIST, South Korea Sukyoung Ryu, KAIST, South Korea
About the conference
SPLASH is the ACM conference on Systems, Programming, Languages and Applications: Software for Humanity. SPLASH is an annual conference that embraces all aspects of software construction and delivery. This is the premier conference at the intersection of programming languages, programming, and software engineering.
Apr 05, 2013