Deriving object typestates in the presence of inter-object references

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

Volumn , Issue , 2005, Pages 77-96

  Nanda, Mangala Gowri ^a   Grothoff, Christian ^b   Chandra, Satish ^a  

^a IBM RESEARCH INDIA   (India)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Alias analysis; Heap analysis; Interface specification; Java; Predicate abstraction

Indexed keywords

COMPUTATIONAL METHODS; JAVA PROGRAMMING LANGUAGE; PARAMETER ESTIMATION;

ALIAS ANALYSIS; HEAP ANALYSIS; INTERFACE SPECIFICATION; PREDICTION ABSTRACTION;

OBJECT ORIENTED PROGRAMMING;

EID: 31744449087     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1094811.1094818     Document Type: Conference Paper

References (18)

1. http://www.eclipse.org/, 2004.
2. R. Alur, P. Cerny, P. Madhusudan, and W. Nam. Synthesis of interface specifications for Java classes. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, pages 98-109. ACM Press, 2005.
3. T. Ball, R. Majumdar, T. D. Millstein, and S. K. Rajamani. Automatic predicate abstraction of C programs. In SIGPLAN Conference on Programming Language Design and Implementation, pages 203-213, 2001.
4. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. Lecture Notes in Computer Science, 2057:103+, 2001.
5. J.-D. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S. Midkiff. Escape analysis for Java. In ACM Conf. on Object-Oriented Programming Systems, Languages, and Applications, 1999.
6. E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-Guided Abstraction Refinement. In Computer Aided Verification, 2000.
7. S. Das and D. L. Dill. Counter-example based predicate discovery in predicate abstraction. In Formal Methods in Computer-Aided Design. Springer-Verlag, November 2002.
8. R. DeLine and M. Fahndrich. Typestates for objects, 2004.
9. B. Demsky and M. Rinard. Role-based exploration of object-oriented programs. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering, pages 313-324, New York, NY, USA, 2002. ACM Press.
10. T. A. Henzinger, R. Jhala, and R. Majumdar. Permissive interfaces. In Proceedings of ACM Conference Foundations of Software Engineering, 2005.
11. P. Lam, V. Kuncak, and M. Rinard. Generalized typestate checking using set interfaces and pluggable analyses. ACM SIGPLAN Notices, 39(3):46-55, March 2004.
12. T. Lev-Ami and M. Sagiv. TVLA: A system for implementing static analyses. In SAS '00; Proceedings of the 7th International Symposium on Static Analysis, volume 1824 of Lecture Notes in Computer Science, pages 280-301. Springer-Verlag, 2000.
13. A. Loginov, T. Reps, and M. Sagiv. Abstraction refinement for 3-valued-logic analysis. Technical report, University of Wisconsin, Madison, WI, April 2004.
14. M. G. Nanda and S. Ramesh. Pointer analysis of multithreaded Java programs. In Proceedings of the ACM Symposium on Applied Computing, 2003.
15. G. Ramalingam, A. Warshavsky, J. Field, D. Goyal, and M. Sagiv. Deriving specialized program analyses for certifying component-client conformance. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 83-94. ACM Press, 2002.
16. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217-298, 2002.
17. R. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, 12(1), 1986.
18. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In Proceedings of the International Symposium of Software Testing and Analysis., 2002.