Automatic inference of stationary fields: A generalization of Java's final fields

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2008, Pages 183-195

  Unkel, Christopher ^a   Lam, Monica S ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

final; initialization; Java; stationary

Indexed keywords

ALIAS ANALYSIS; AUTOMATIC INFERENCE; FINAL; INITIALIZATION; JAVA; JAVA PROGRAM; JAVA PROGRAMMERS; MULTIPLE METHODS; OBJECT CREATION; PRECISE ANALYSIS; PROGRAM UNDERSTANDING; STATIONARY;

ALGORITHMS; COMPUTER SOFTWARE;

JAVA PROGRAMMING LANGUAGE;

EID: 84865640836     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1328438.1328463     Document Type: Conference Paper

References (23)

1. Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, and Sam Midkiff. Escape analysis for java. In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 1-19, New York, NY, USA, 1999. ACM Press.
2. Jeffrey Dean, David Grove, and Craig Chambers. Optimization of object-oriented programs using static class hierarchy analysis. In ECOOP '95: Proceedings of the 9th European Conference on Object-Oriented Programming, pages 77-101, London, UK, 1995. Springer-Verlag.
3. Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Bejamin Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of Eighteenth ACM Symposium on Operating System Principles, pages 57-72, October 2001.
4. Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. A theory of type qualifiers. In PLDI '99: Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pages 192-203, New York, NY, USA, 1999. ACM Press.
5. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification, Third Edition. The Java Series. Addison-Wesley, Boston, Mass., 2005.
6. Samuel P. Harbison and Guy Steele. C, A Reference Manual. Prentice-Hall, Inc., New York, NY, 1987.
7. David L. Heine and Monica S. Lam. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 168-181, New York, NY, USA, 2003. ACM Press.
8. David L. Heine and Monica S. Lam. Static detection of leaks in polymorphic containers. In ICSE '06: Proceedings of the 28th International Conference on Software Engineering, pages 252-261, New York, NY, USA, 2006. ACM Press.
9. Gunter Kniesel and Dirk Theisen. JAC - acess right based encapsulation for Java. Software - Practice and Experience, 31(6):555-576, 2001.
10. Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, and Dawson Engler. From uncertainty to belief: inferring the specification within. In USENIX'06: Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation, pages 12-12, Berkeley, CA, USA, 2006. USENIX Association.
11. Viktor Kuncak, Patrick Lam, and Martin Rinard. Role analysis. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 17-32, New York, NY, USA, 2002. ACM Press.
12. Benjamin Livshits and Thomas Zimmermann. DynaMine: finding common error patterns by mining software revision histories. In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 296-305, New York, NY, USA, 2005. ACM Press.
13. Peter Müller and Arnt Poetzch-Heffter. A type system for controlling representation exposure in Java. In 2nd ECOOP Workshop on Formal Techniques for Java Programs, 2001.
14. Igor Pechtchanski and Vivek Sarkar. Immutability specification and its applications. In JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, pages 202-211, New York, NY, USA, 2002. ACM Press.
15. Sara Porat, Marina Biberstein, Larry Koved, and Bilha Mendelson. Automatic detection of immutable fields in Java. In CASCON '00: Proceedings of the 2000 Conference of the Centre for Advanced Studies on Collaborative research, page 10. IBM Press, 2000.
16. A. Salcianu and M. Rinard. Purity and side effect analysis for Java programs. Lecture Notes in Computer Science, 3385:199-215, 2005.
17. Mats Skoglund and Tobias Wrigstad. A mode system for readonly references. In Akos Frohner, editor, Formal Techniques for Java Programs, number 2323 in Object-Oriented Technology, ECOOP 2001 Workshop Reader, pages 30-, Berlin, Heidelberg, New York, 2001. Springer-Verlag.
18. Dave Thomas, Chad Fowler, and Andy Hunt. Programming Ruby: The Pragmatic Programmer's Guide, Second Edition. Addison-Wesley, 2005.
19. Matthew S. Tschantz and Michael D. Ernst. Javari: Adding reference immutability to Java. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005), pages 211-230, San Diego, CA, USA, October 18-20 2005.
20. John Whaley. Joeq: A virtual machine and compiler infrastructure. In Proceedings of the SIGPLAN Workshop on Interpreters, Virtual Machines, and Emulators, pages 58-66, June 2003.
21. John Whaley and Martin Rinard. Compositional pointer and escape analysis for java programs. In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 187-206, New York, NY, USA, 1999. ACM Press.
22. Chadd C. Williams and Jeffrey K. Hollingsworth. Recovering system specific rules from software repositories. In MSR '05: Proceedings of the 2005 international workshop on Mining software repositories, pages 1-5, New York, NY, USA, 2005. ACM Press.
23. Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, and Manuvir Das. Perracotta: mining temporal API rules from imperfect traces. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 282-291, New York, NY, USA, 2006. ACM Press.