Purity and side effect analysis for Java programs

Lecture Notes in Computer Science

Volumn 3385, Issue , 2005, Pages 199-215

  Sǎlcianu, Alexandra ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ESCAPE ANALYSIS; POINTERS; SIDE EFFECT ANALYSIS;

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; PARAMETER ESTIMATION;

JAVA PROGRAMMING LANGUAGE;

EID: 24144458954     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (35)

1. C. S. Ananian. MIT FLEX compiler infrastructure for Java. Available from http://www.flex-compiler.lcs.mit.edu, 1998-2004.
2. A. Birka. Compiler-enforced immutability for the Java language. Technical Report MIT-LCS-TR-908, MIT Laboratory for Computer Science, June 2003. Revision of Master's thesis.
3. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In Proc. ISSTA, 2002.
4. C. Boyapati and M. C. Rinard. A parameterized type system for race-free Java programs. In Proc. 16th OOPSLA, 2001.
5. L. Burdy, Y. Cheon, D. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. Technical Report NII-R0309, Computing Science Institute, Univ. of Nijmegen, 2003.
6. B. Cahoon and K. S. McKinley. Data flow analysis for software prefetching linked data structures in Java. In Proc. 10th International Conference on Parallel Architectures and Compilation Techniques, 2001.
7. M. C. Carlisle and A. Rogers. Software caching and computation migration in Olden. In Proc. 5th PPoPP, 1995.
8. N. Catan̊o and M. Huismann. ChAsE: a static checker for JML's assignable clause. In Proc. 4th VMCAI, 2003.
9. J.-D. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proc. 20th POPL, 1993.
10. D. Clarke and S. Drossopoulou. Ownership, encapsulation and the disjointness of type and effect. In Proc. 17th OOPSLA, 2002.
11. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. 22nd ICSE, 2000.
12. J. C. Corbett. Using shape analysis to reduce finite-state models of concurrent Java programs. Software Engineering and Methodology, 9(1), 2000.
13. K. Crary, D. Walker, and G. Morrisett. Typed memory management in a calculus of capabilities. In Proc. 26th POPL, 1999.
14. R. DeLine and M. Fähndrich. Typestates for objects. In Proc. 18th ECOOP, 2004.
15. C. Flanagan, K. R. M. Leino, M. Lilibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended Static Checking for Java. In Proc. PLDI, 2002.
16. M. Hind and A. Pioli. Which pointer analysis should I use? In Proc. ISSTA, 2000.
17. P. Jouvelot and D. K. Gifford. Algebraic reconstruction of types and effects. In Proc. 18th POPL, 1991.
18. V. Kuncak, P. Lam, and M. Rinard. Role analysis. In Proc. 29th POPL, 2002.
19. V. Kuncak and K. R. M. Leino. In-place refinement for effect checking. In 2nd Intl. Workshop on Automated Verification of Infinite-State Systems, 2003.
20. G. T. Leavens. Advances and issues in JML. Presentation at the Java Verification Workshop, 2002.
21. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML. Technical Report 96-06p, Iowa State University, 2001.
22. K. R. M. Leino, A. Poetzsch-Heffter, and Y. Zhou. Using data groups to specify and check side effects. In Proc. PLDI, 2002.
23. J. M. Lucassen and D. K. Gifford. Polymorphic effect systems. In Proc. 15th POPL, 1988.
24. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard. An evaluation of exhaustive testing for data structures. Technical Report MIT-LCS-TR-921, MIT CSAIL, Cambridge, MA, 2003.
25. A. Milanova, A. Rountev, and B. G. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java. In Proc. ISSTA, 2002.
26. P. Mueller, A. Poetzsch-Heffter, and G. T. Leavens. Modular specification of frame properties in JML. Technical Report TR 02-02, Iowa State University, 2002.
27. M. Rinard, A. Sålcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In Proc. 12th FSE, 2004.
28. A. Rountev. Precise identification of side-effect-free methods in Java. In IEEE International Conference on Software Maintenance, 2004.
29. A. Salcianu. Pointer analysis and its applications to Java programs. Master's thesis, MIT Laboratory for Computer Science, 2001.
30. A. Salcianu and M. Rinard. A combined pointer and purity analysis for Java programs. Technical Report MIT-CSAIL-TR-949, MIT CSAIL, 2004.
31. F. Spoto and E. Poll. Static analysis for JML's assignable clauses. In Proc. 10th FOOL, 2003.
32. O. Tkachuk and M. B. Dwyer. Adapting side effects analysis for modular program model checking. In Proc. 11th FSE, 2003.
33. M. Tofte and L. Birkedal. A region inference algorithm. Transactions on Programming Languages and Systems, 20(4), 1998.
34. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. 15th ASE, 2000.
35. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proc. 14th OOPSLA, 1999.