Dependent types for javascript

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2012, Pages 587-606

  Chugh, Ravi ^a   Herman, David ^b   Jhala, Ranjit ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Mozilla Science Lab   (United States)

Author keywords

Arrays; JavaScript; Prototype Inheritance; Refinement Types; Strong Updates

Indexed keywords

ARRAYS; JAVASCRIPT; PROTOTYPE INHERITANCE; REFINEMENT TYPES; STRONG UPDATES;

HIGH LEVEL LANGUAGES; OBJECT ORIENTED PROGRAMMING;

JAVA PROGRAMMING LANGUAGE;

EID: 84869776206     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2384616.2384659     Document Type: Conference Paper

References (39)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer- Verlag, 1996.
2. A. Ahmed, M. Fluet, and G. Morrisett. L3: A Linear Language with Locations. Fundamenta Informaticae, 77(4), June 2007.
3. A. Aiken, J. Kodumal, J. S. Foster, and T. Terauchi. Checking and Inferring Local Non-Aliasing. In PLDI, 2003.
4. C. Anderson, S. Drossopoulou, and P. Giannini. Towards Type Inference for JavaScript. In ECOOP, 2005.
5. G. M. Bierman, A. D. Gordon, C. Hritcu, and D. E. Langworthy. Semantic Subtyping with an SMT Solver. In ICFP, 2010.
6. V. Bono and K. Fisher. An Imperative, First-Order Calculus with Object Extension. In ECOOP, 1998.
7. R. Chugh, D. Herman, and R. Jhala. Dependent Types for JavaScript- Appendix. arxiv.org/abs/1112.4106.
8. R. Chugh, J. A. Meister, R. Jhala, and S. Lerner. Staged Information Flow for JavaScript. In PLDI, 2009.
9. R. Chugh, P. M. Rondon, and R. Jhala. Nested Refinements: A Logic for Duck Typing. In POPL, 2012.
10. D. Crockford. JavaScript: The Good Parts. Yahoo! Press, 2008.
11. L. de Moura and N. Bjoørner. Z3: An Efficient SMT solver. In TACAS, 2008.
12. R. DeLine and M. Fähndrich. Enforcing High-level Protocols in Low-level Software. In PLDI, 2001.
13. ECMA. TC-39 Committee. www.ecmascript.org/ community.php.
14. M. Fahndrich and R. DeLine. Adoption and Focus: Practical Linear Types for Imperative Programming. In PLDI, 2002.
15. J. Foster, T. Terauchi, and A. Aiken. Flow-sensitive Type Qualifiers. In PLDI, 2002.
16. M. Furr, J. hoon (David) An, J. S. Foster, and M. W. Hicks. Static type inference for ruby. In SAC, 2009.
17. P. Gardner, S. Maffeis, and G. D. Smith. Towards a Program Logic for JavaScript. In POPL, 2012.
18. P. D. Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects with Self-Inflicted Extension. In OOPSLA, 1998.
19. Google. Closure library. https://developers.google. com/closure/library.
20. Google. V8 benchmark. http://v8.googlecode.com/ svn/data/benchmarks/.
21. A. Guha, C. Saftoiu, and S. Krishnamurthi. The Essence of JavaScript. In ECOOP, 2010.
22. A. Guha, C. Softoiu, and S. Krishnamurthi. Typing Local Control and State Using Flow Analysis. In ESOP, 2011.
23. P. Heidegger and P. Thiemann. Recency Types for Analyzing Scripting Languages. In ECOOP, 2010.
24. E. International. ECMAScript Language Specification, ECMA-262, 3rd ed. 1999.
25. K. W. Knowles and C. Flanagan. Compositional Reasoning and Decidable Checking for Dependent Contract Types. In PLPV, 2009.
26. S. Maffeis, J. Mitchell, and A. Taly. An operational semantics for JavaScript. In APLAS, 2008.
27. J. McCarthy. Towards a Mathematical Science of Computation. In IFIP, 1962.
28. B. C. Pierce. Types and Programming Languages. 2002.
29. B. C. Pierce and D. N. Turner. Local Type Inference. In POPL, 1998.
30. J. G. Politz, S. A. Eliopoulos, A. Guha, and S. Krishnamurthi. Adsafety: Type-based Verification of JavaScript Sandboxing. In USENIX Security, 2011.
31. P. Rondon, M. Kawaguchi, and R. Jhala. Low-Level Liquid Types. In POPL, 2010.
32. F. Smith, D.Walker, and G. Morrisett. Alias Types. In ESOP, 2000.
33. J. Sunshine, K. Naden, S. Stork, J. Aldrich, and E. Tanter. First-class State Change in Plaid. In OOPSLA, 2011.
34. SunSpider. Javascript benchmark. http://www.webkit. org/perf/sunspider/ sunspider.html.
35. P. Thiemann. Towards a Type System for Analyzing JavaScript Programs. In ESOP, 2005.
36. S. Tobin-Hochstadt and M. Felleisen. Logical Types for Untyped Languages. In ICFP, 2010.
37. D. Walker and G. Morrisett. Alias Types for Recursive Data Structures. In TIC. 2000.
38. S. yu Guo and B. Hackett. Fast and Precise Hybrid Type Inference for JavaScript. In PLDI, 2012.
39. T. Zhao. Polymorphic Type Inference for Scripting Languages with Object Extensions. In DLS, 2011.