Detecting read-only methods in java

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1915, Issue , 2000, Pages 143-154

  Bogda, Jeff ^a  

^a University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FADING (RADIO); PROGRAM COMPILERS;

ESCAPE ANALYSIS; MEMORY LOCATIONS; MULTI-THREADED PROGRAMS; MUTUAL EXCLUSIONS; READONLY; SHAPE ANALYSIS; WRITE OPERATIONS;

COMPUTATIONAL LINGUISTICS;

EID: 84958964984     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40889-4_11     Document Type: Conference Paper

References (14)

1. Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, and Susan Eggers. Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. In Proceedings of the Sixth International Static Analysis Symposium (SAS ‘99), Venezia, Italy, September 1999
2. Bruno Blanchet. Escape Analysis for Object-Oriented Languages. Application to Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘99), pages 20-34, Denver, Colorado, 1-5 November 1999
3. Jeff Bogda and Urs Hölzle. Removing Unnecessary Synchronization in Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘99), pages 35-46, Denver, Colorado, 1-5 November 1999
4. J.-D. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S. Midkiff. Escape Analysis for Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘99), pages 1-19, Denver, Colorado, 1-5 November 1999
5. James C. Corbett. Using Shape Analysis to Reduce Finite-State Models of Concurrent Java Programs. Technical Report ICS-TR-98-20, Department of Information and Computer Science, University of Hawaii, 14 October 1998
6. Rakesh Ghiya and Laurie J. Hendren. Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C. In Conference Record of the 23rd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL ‘96), pages 1-15, St. Petersburg Beach, Florida, 21-24 January 1996
7. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley: Berkeley, California, 1996
8. Ilya Lipkind, Igor Pechtchanski, and Vijay Karamcheti. Object Views: Language Support for Intelligent Object Caching in Parallel and Distributed Computations.In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘99), pages 447-460, Denver, Colorado, 1-5 November 1999
9. Martin C. Rinard and Pedro C. Diniz. Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. ACM Transactions on Programming Languages and Systems, pages 942-991, Volume 19, Number 6, November 1997
10. Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving Shape-Analysis Problems in Languages with Destructive Updating. In Conference Record of the 23rd ACM Symposium on Principles of Programming Languages (POPL ‘96), pages 16-31, St. Petersburg Beach, Florida, 21-24 January 1996
11. Bjarne Stroustrup. The C++ Programming Language, Third Edition. Addison-Wesley: Berkeley, California, 1997
12. John Whaley and Martin Rinard. Compositional Pointer and Escape Analysis for Java Programs. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA ‘99), pages 187-206, Denver, Colorado, 1-5 November 1999
13. Reinhard Wilhelm, Mooly Sagiv, and Thomas Reps. Shape Analysis. In Proceedings of the Conference on Compiler Construction, Berlin, Germany, 27 March-2 April 2000
14. Masahiro Yasugi, Shigeyuki Eguchi, and Kazuo Taki. Eliminating Bottlenecks on Parallel Systems using Adaptive Objects. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques (PACT ‘98), pages 80-87, Paris, France, 12-18 October 1998