Combining Form and Function: Static Types for jQuery Programs
Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi
European Conference on Object-Oriented Programming, 2013
The jQuery library defines a powerful query language for web applications’ scripts to interact with Web page content. This language is exposed as jQuery’s API, which is implemented to fail silently so that incorrect queries will not cause the program to halt. Since the correctness of a query depends on the structure of a page, discrepancies between the page’s actual structure and what the query expects will also result in failure, but with no error traces to indicate where the mismatch occurred.
These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.