Combining Form and Function: Static Types for JQuery Programs-Reference-Cited by-同舟云学术

Combining Form and Function: Static Types for JQuery Programs

Published:2013 Issue: Volume: Page:79-103
ISSN:0302-9743
Container-title:ECOOP 2013 – Object-Oriented Programming
language:
Short-container-title:

Author:

Lerner Benjamin S.,Elberty Liam,Li Jincheng,Krishnamurthi Shriram

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-39038-8_4

Reference26 articles.

1. Abel, A.: Polarized subtyping for sized types. Mathematical Structures in Computer Science 18(5), 797–822 (2008)

2. Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-centric general-purpose language. In: ACM SIGPLAN International Conference on Functional Programming (ICFP), pp. 51–63. ACM, New York (2003)

3. Bohannon, A., Pierce, B.C.: Featherweight Firefox: formalizing the core of a web browser. In: USENIX Conference on Web Application Development (WebApps), pp. 123–134. USENIX Association, Berkeley (2010)

4. BuiltWith. JQuery usage statistics, http://trends.builtwith.com/javascript/JQuery (retrieved November 2012)

5. Lecture Notes in Computer Science;G. Castagna,2005

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Containerless Plurals: Separating Number from Type in Object-Oriented Programming;ACM Transactions on Programming Languages and Systems;2022-09-21

2. Analysis of JavaScript Programs;ACM Computing Surveys;2018-07-31

3. A vision for online verification-validation;ACM SIGPLAN Notices;2017-05-12

4. Precise and scalable static analysis of jQuery using a regular expression domain;ACM SIGPLAN Notices;2017-05-11

5. Precise and scalable static analysis of jQuery using a regular expression domain;Proceedings of the 12th Symposium on Dynamic Languages;2016-11