Polymorphic type inference for scripting languages with object extensions

DLS'11 - Proceedings of the 7th Symposium on Dynamic Languages

Volumn , Issue , 2011, Pages 37-50

  Zhao, Tian ^a  

^a UNIVERSITY OF WISCONSIN MILWAUKEE   (United States)

Author keywords

Dynamic languages; Javascript; Static types; Type inference

Indexed keywords

DYNAMIC LANGUAGES; JAVASCRIPT; POLYMORPHIC TYPES; SCRIPTING LANGUAGES; STATIC TYPES; TYPE INFERENCE ALGORITHM; TYPE INFERENCES; TYPE SYSTEMS;

ALGORITHMS; DYNAMIC LIGHT SCATTERING; HIGH LEVEL LANGUAGES; JAVA PROGRAMMING LANGUAGE;

INFERENCE ENGINES;

EID: 81455135820     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2047849.2047855     Document Type: Conference Paper

References (25)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1996.
2. O. Agesen. The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism. In Proceedings of the 9th European Conference on Object-Oriented Programming (ECOOP'95), pages 2-26, 1995.
3. O. Agesen, J. Palsberg, and M. I. Schwartzbach. Type Inference of SELF. In Proceedings of the 7th European Conference on Object- Oriented Programming (ECOOP'93), pages 247-267, 1993.
4. C. Anderson, S. Drossopoulou, and P. Giannini. Towards Type Inference for JavaScript. In 19th European Conference on Object-Oriented Programming (ECOOP'05), pages 428-452, July 2005. (Pubitemid 41435992)
5. V. Bono and K. Fisher. An Imperative, First-Order Calculus with Object Extension. In the 12th European Conference on Object-Oriented Programming (ECOOP'98), pages 462-497, 1998. (Pubitemid 128110404)
6. D. Crockford. JavaScript: The Good Parts. O'Reilly Media, 2008.
7. P. Di Gianantonio, F. Honsell, and L. Liquori. A Lambda Calculus of Objects With Self-Inflicted Extension. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'98), pages 166-178, 1998.
8. J. Eifrig, S. Smith, and V. Trifonov. Sound Polymorphic Type Inference for Objects. SIGPLAN Not., 30(10):169-184, 1995.
9. M. Furr, J.-h. D. An, and J. S. Foster. Profile guided static typing for dynamic scripting languages. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'09), 2009.
10. M. Furr, J.-h. D. An, J. S. Foster, and M. Hicks. Static type inference for Ruby. In Proceedings of the 2009 ACM symposium on Applied Computing (SAC'09), pages 1859-1866, 2009.
11. A. Guha, C. Saftoiu, and S. Krishnamurthi. Typing local control and state using flow analysis. In Proceedings of the 20th European conference on Programming languages and systems, pages 256-275, 2011.
12. P. Heidegger and P. Thiemann. Recency Types for Analyzing Scripting Languages. In Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP'10), pages 200-224, 2010.
13. S. H. Jensen, A. Møller, and P. Thiemann. Type Analysis for JavaScript. In 16th International Static Analysis Symposium (SAS'09), August 2009.
14. N. Oxhøj, J. Palsberg, and M. I. Schwartzbach. Making Type Inference Practical. In Proceedings of the European Conference on Object- Oriented Programming (ECOOP'92), pages 329-349, 1992.
15. J. Palsberg. Efficient Inference of Object Types. Inf. Comput., 123(2): 198-209, 1995.
16. J. Palsberg and T. Zhao. Type Inference for Record Concatenation and Subtyping. Inf. Comput., 189(1):54-86, 2004.
17. J. Palsberg, T. Zhao, and T. Jim. Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst., 27(1):126-162, 2005. (Pubitemid 40232360)
18. J. Plevyak and A. A. Chien. Precise Concrete Type Inference for Object-Oriented Languages. In Proceedings of the 9th annual conference on Object-oriented programming systems, language, and applications (OOPSLA'94), pages 324-340, 1994.
19. G. Richards, S. Lesbrene, B. Burg, and J. Vitek. An Analysis of the Dynamic Behavior of JavaScript Programs. In Proceedings of the ACM Programming Language Design and Implementation Conference (PLDI), June 2010.
20. M. Salib. Faster than C: Static Type Inference with Starkiller. In in PyCon Proceedings, Washington DC, pages 2-26, 2004.
21. S. A. Spoon and O. Shivers. Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability. In Proceedings of the 18th European Conference on Object-Oriented Programming, (ECOOP'04), pages 51-74, 2004.
22. P. Thiemann. Towards a Type System for Analyzing JavaScript Programs. In 14th European Symposium on Programming (ESOP'05), pages 408-422, 2005. (Pubitemid 41274072)
23. S. Tobin-Hochstadt and M. Felleisen. The design and implementation of typed scheme. In Proceedings of the 35th annual ACM SIGPLANSIGACT symposium on Principles of programming languages, POPL'08, pages 395-406, 2008.
24. T. Wang and S. F. Smith. Precise Constraint-Based Type Inference for Java. In Proceedings of the 15th European Conference on Object- Oriented Programming (ECOOP'01), pages 99-117, 2001. (Pubitemid 33291290)
25. T. Zhao. Type inference for scripting languages with implicit extension. In International Workshop on Foundations of Object-Oriented Languages, 2010.