BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations Formal Specification of a JavaScript Module System

Formal Specification of a JavaScript Module System

Bookmarks
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.

Recorded at:

Apr 05, 2013

BT