{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:41:41Z","timestamp":1725486101160},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411857"},{"type":"electronic","value":"9783540408895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40889-4_11","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T16:52:28Z","timestamp":1180889548000},"page":"143-154","source":"Crossref","is-referenced-by-count":0,"title":["Detecting Read-Only Methods in Java"],"prefix":"10.1007","author":[{"given":"Jeff","family":"Bogda","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,26]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"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 \u201999), Venezia, Italy, September 1999.","DOI":"10.1007\/3-540-48294-6_2"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bruno Blanchet. Escape Analysis for Object-Oriented Languages. Application to Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA \u201999), pages 20\u201334, Denver, Colorado, 1-5 November 1999.","DOI":"10.1145\/320384.320387"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Jeff Bogda and Urs H\u00f6lzle. Removing Unnecessary Synchronization in Java. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA \u201999), pages 35\u201346, Denver, Colorado, 1-5 November 1999.","DOI":"10.1145\/320384.320388"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"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 \u201999), pages 1\u201319, Denver, Colorado, 1-5 November 1999.","DOI":"10.1145\/320384.320386"},{"key":"11_CR5","unstructured":"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."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"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 \u201996), pages 1\u201315, St. Petersburg Beach, Florida, 21-24 January 1996.","DOI":"10.1145\/237721.237724"},{"key":"11_CR7","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley: Berkeley, California, 1996."},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"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 \u201999), pages 447\u2013460, Denver, Colorado, 1-5 November 1999.","DOI":"10.1145\/320385.320433"},{"issue":"6","key":"11_CR9","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1145\/267959.269969","volume":"19","author":"M. C. Rinard","year":"1997","unstructured":"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\u2013991, Volume 19, Number 6, November 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"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 \u201996), pages 16\u201331, St. Petersburg Beach, Florida, 21-24 January 1996.","DOI":"10.1145\/237721.237725"},{"key":"11_CR11","unstructured":"Bjarne Stroustrup. The C ++ Programming Language, Third Edition. Addison-Wesley: Berkeley, California, 1997."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"John Whaley and Martin Rinard. Compositional Pointer and Escape Analysis for Java Programs. In Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA \u201999), pages 187\u2013206, Denver, Colorado, 1-5 November 1999.","DOI":"10.1145\/320384.320400"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Reinhard Wilhelm, Mooly Sagiv, and Thomas Reps. Shape Analysis. In Proceedings of the Conference on Compiler Construction, Berlin, Germany, 27 March-2 April 2000.","DOI":"10.1007\/3-540-46423-9_1"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"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 \u201998), pages 80\u201387, Paris, France, 12-18 October 1998.","DOI":"10.1109\/PACT.1998.727175"}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Run-Time Systems for Scalable Computers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40889-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:56:53Z","timestamp":1556456213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40889-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411857","9783540408895"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-40889-4_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}