Static typing for Ruby on Rails

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 590-594

  An, Jong Hoon ^a   Chaudhuri, Avik ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

Ruby; Ruby on Rails; Scripting languages; Type systems; Web frameworks

Indexed keywords

DYNAMIC TYPING; OBJECT-ORIENTED SCRIPTING LANGUAGES; RUBY ON RAILS; RUN-TIME ERRORS; RUNTIMES; SCRIPTING LANGUAGES; STATIC TYPING; TYPE ERRORS; TYPE INFERENCES; TYPE SYSTEMS; WEB APPLICATION;

COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; ERRORS; LINGUISTICS; PROGRAM TRANSLATORS; QUERY LANGUAGES; RUBY; TRANSLATION (LANGUAGES);

OBJECT ORIENTED PROGRAMMING;

EID: 77952213881     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.80     Document Type: Conference Paper

References (13)

1. M. Furr, J. An, J. S. Foster, and M. Hicks, "Static Type Inference for Ruby," in OOPS Track, SAC, 2009.
2. M. Furr, J. An, and J. S. Foster, "Profile-guided static typing for dynamic scripting languages," in OOPSLA, 2009, to appear.
3. "Ruby on Rails," 2009, http://rubyonrails.org.
4. D. Flanagan and Y. Matsumoto, The Ruby Programming Language. O'Reilly Media, Inc, 2008.
5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns. Addison-Wesley, 1995.
6. J. An, A. Chaudhuri, and J. S. Foster, "Static typing for ruby on rails," University of Maryland, College Park, Tech. Rep., 2009, http://www.cs.umd.edu/∼davidan/papers/drails.pdf.
7. "Markaby for Rails," 2006, http://redhanded.hobix.com/ inspect/MarkabyforRails.html.
8. M. Furr, J. An, J. S. Foster, and M. Hicks, "The ruby intermediate language," in DLS, 2009, to appear.
9. M. S. Lam, M. Martin, B. Livshits, and J. Whaley, "Securing web applications with static and dynamic information flow tracking," in PEPM, 2008, pp. 3-12.
10. Y.-W. Huang, F. Yu, C. Hang, C.-H. Tsai, D.-T. Lee, and S.-Y. Kuo, "Securing web application code by static analysis and runtime protection," in WWW, 2004, pp. 40-52.
11. O. Tripp, M. Pistoia, S. J. Fink, M. Sridharan, and O. Weisman, "TAJ: Effective taint analysis for Java," in PLDI, 2009, to appear.
12. N. Jovanovic, C. Kruegel, and E. Kirda, "Precise alias analysis for static detection of web application vulnerabilities," in PLAS, 2006, pp. 27-36.
13. Y. Xie and A. Aiken, "Static detection of security vulnerabilities in scripting languages," in USENIX Security, 2006, pp. 179-192.