InfoQ Homepage Presentations Formal Specification of a JavaScript Module System

Formal Specification of a JavaScript Module System

Bookmarks

View Presentation

Speed:

Download

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: