Always-available static and dynamic feedback

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 521-530

  Bayne, Michael ^a   Cook, Richard ^a   Ernst, Michael D ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

dynamic typing; gradual typing; hybrid typing; productivity; prototyping; refactoring; static typing; type error

Indexed keywords

DYNAMIC TYPING; GRADUAL TYPING; HYBRID TYPING; REFACTORINGS; STATIC TYPING; TYPE ERRORS;

PRODUCTIVITY; SEMANTICS; SOFTWARE ENGINEERING;

JAVA PROGRAMMING LANGUAGE;

EID: 79959915685     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985864     Document Type: Conference Paper

References (47)

1. M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM TOPLAS, 13(2):237-268, Apr. 1991.
2. A. Ahmed, R. B. Findler, J. Matthews, and P. Wadler. Blame for all. In STOP, July 2009.
3. D. Ancona, M. Ancona, A. Cuni, and N. D. Matsakis. RPython: a step towards reconciling dynamically and statically typed OO languages. In DLS, pages 53-64, Oct. 2007.
4. D. Ancona, G. Lagorio, and E. Zucca. Type inference for polymorphic methods in Java-like languages. In Theoretical Computer Science: Proceedings of the 10th Italian Conference on ICTCS '07, 2007.
5. C. Anderson and S. Drossopoulou. BabyJ: From object based to class based programming via types. In WOOD, pages 53-81, Oct. 2003.
6. J. Aycock. Aggressive type inference. In Int'l Python Conf., 2000.
7. B. Bloom, J. Field, N. Nystrom, J. Östlund, G. Richards, R. Strniša, J. Vitek, and T. Wrigstad. Thorn: Robust, concurrent, extensible scripting on the JVM. In OOPSLA, pages 117-136, Oct. 2009.
8. G. Bracha. Pluggable type systems. In RDL, Oct. 2004.
9. G. Bracha and D. Griswold. Strongtalk: Typechecking Smalltalk in a production environment. In OOPSLA, pages 215-230, Sep. 1993.
10. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In OOPSLA, pages 183-200, Oct. 1998.
11. F. P. Brooks, Jr. The Mythical Man-Month: Essays on Software Engineering. Addison-Wesley, Boston, MA, USA, 1975.
12. P. Camphuijsen, J. Hage, and S. Holdermans. Soft typing PHP. Technical Report UU-CS-2009-004, Department of Information and Computing Sciences, Utrecht University, 2009.
13. R. Cartwright and M. Fagan. Soft typing. In PLDI, pages 278-292, June 1991.
14. DuctileJ website. http://code.google.com/p/ductilej/.
15. R. B. Findler and M. Felleisen. Contracts for higher-order functions. In ICFP, pages 48-59, Oct. 2002.
16. R. B. Findler, M. Latendresse, and M. Felleisen. Behavioral contracts and behavioral subtyping. In ESEC/FSE, pages 229-236, Sep. 2001.
17. C. Flanagan. Hybrid type checking. In POPL, Jan. 2006.
18. M. Furr, J.-h. D. An, and J. S. Foster. Profile-guided static typing for dynamic scripting languages. In OOPSLA, pages 283-300, Oct. 2009.
19. M. Furr, J.-h. D. An, J. S. Foster, and M. Hicks. Static type inference for Ruby. In SAC, pages 1859-1866, Mar. 2009.
20. K. E. Gray, R. B. Findler, and M. Flatt. Fine-grained interoperability through mirrors and contracts. In OOPSLA, pages 231-245, Oct. 2005.
21. D. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. In TFP, 2007.
22. A. Holkner and J. Harland. Evaluating the dynamic behavior of Python applications. In ACSC, 2009.
23. JRuby. http://kenai.com/projects/jruby/pages/JRubyInternalDesign, July 09, 2010.
24. K. Knowles, A. Tomb, J. Gronski, S. N. Freund, and C. Flanagan. Sage: Unified hybrid checking for first-class types, general refinement types, and Dynamic. In SFP, Sep. 2006.
25. G. Lagorio and E. Zucca. Just: Safe unknown types in Java-like languages. J. Object Tech., 6(2):71-100, 2007.
26. P. McGachey, A. L. Hosking, and J. E. B. Moss. Pervasive load-time transformation for transparently distributed Java. In ByteCode 2009, Mar. 2009.
27. E. Murphy-Hill, C. Parnin, and A. P. Black. How we refactor, and how we know it. In ICSE, pages 287-297, May 2009.
28. D. A. Norman. The "problem" with automation: Inappropriate feedback and interaction, not "over-automation". Phil. Trans. Royal Soc., B, 327(1241):585-593, 1990.
29. S.-O. Nyström. A soft-typing system for Erlang. In ERLANG '03, pages 56-71, Aug. 2003.
30. H. Ossher et al. Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges. In Onward!, pages 848-864, Oct. 2010.
31. X. Ou, G. Tan, Y. Mandelbaum, and D. Walker. Dynamic typing with dependent types. In TCS, pages 437-450, Toulouse, Aug. 2004.
32. G. Richards, S. Lebresne, B. Burg, and J. Vitek. An analysis of the dynamic behavior of JavaScript programs. In PLDI, pages 1-12, June 2010.
33. J. R. Rose. Bytecodes meet combinators: invokedynamic on the JVM. In VMIL, pages 1-11, 2009.
34. M. Salib. Starkiller: A static type inferencer and compiler for Python. Master's thesis, MIT Dept. of EECS, May 2004.
35. D. Shasha and C. Lazere. Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists. Copernicus Books, 1998.
36. J. Siek and W. Taha. Gradual typing for objects. In ECOOP, pages 2-27, Aug. 2007.
37. J. Siek and M. Vachharajani. Gradual typing with unification-based inference. In DLS, Pathos, Cyprus, July 2008.
38. J. G. Siek, R. Garcia, and W. Taha. Exploring the design space of higher-order casts. In ESOP, Mar. 2009.
39. J. G. Siek and W. Taha. Gradual typing for functional languages. In SFP, pages 81-92, Sep. 2006.
40. J. G. Siek and P. Wadler. Threesomes, with and without blame. In POPL, Jan. 2010.
41. STOP, July 2009.
42. M. Tatsubori. Living with reflection: Towards coexistence of program transformation by middleware and reflection in Java applications. In PPL, Mar. 2004.
43. S. Thatte. Quasi-static typing. In POPL, pages 367-381, Jan. 1990.
44. S. Tobin-Hochstadt and M. Felleisen. Interlanguage migration: From scripts to programs. In DLS, Oct. 2006.
45. S. Tobin-Hochstadt and M. Felleisen. The design and implementation of Typed Scheme. In POPL, Jan. 2008.
46. P. Wadler and R. B. Findler. Well-typed programs can't be blamed. In ESOP, pages 1-16, Mar. 2009.
47. T. Wrigstad, F. Zappa Nardelli, S. Lebresne, J. Östlund, and J. Vitek. Integrating typed and untyped code in a scripting language. In POPL, Jan. 2010.