{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:26:45Z","timestamp":1725568005362},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235262"},{"type":"electronic","value":"9783540301820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30182-0_95","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T23:50:40Z","timestamp":1287964240000},"page":"945-954","source":"Crossref","is-referenced-by-count":3,"title":["Thread-Sensitive Points-to Analysis for Multithreaded Java Programs"],"prefix":"10.1007","author":[{"given":"Byeong-Mo","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jong-Deok","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"95_CR1","unstructured":"Andersen, L.: A program analysis and specialization for the C programming language. PhD. Thesis, DIKU (1994)"},{"key":"95_CR2","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Escape analysis for object-oriented languages: Applications to Java. In: Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 20\u201334 (1999)","DOI":"10.1145\/320384.320387"},{"key":"95_CR3","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. In: Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (1999)","DOI":"10.1145\/320384.320386"},{"key":"95_CR4","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Lee, K., Loginov, A., O\u2019Callahan, R., Sarkar, V., Sridharan, M.: Efficient and precise datarace detection for multithreaded object-oriented programs. In: Proceedings of ACM Conference on Programming Languages Design and Implementation, pp. 258\u2013269 (2002)","DOI":"10.1145\/543552.512560"},{"key":"95_CR5","unstructured":"Heintze, N.: Set-based program analysis. PhD. Thesis, Carnegie Mellon University (1992)"},{"key":"95_CR6","unstructured":"Heintze, N., Tardieu, O.: Ultra-fast aliasing analysis using CLA: A million lines of C code. In: Proceedings of ACM Conference on Programming Languages Design and Implementation, pp. 85\u201396 (1998)"},{"key":"95_CR7","volume-title":"Concurrent programming in Java: Design principles and patterns","author":"D. Lea","year":"2000","unstructured":"Lea, D.: Concurrent programming in Java: Design principles and patterns. Addison-Wesley, Reading (2000)"},{"key":"95_CR8","doi-asserted-by":"crossref","unstructured":"Rountev, A., Milanova, A., Ryder, B.G.: Points-to analysis for Java using annotated constraints. In: Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (2001)","DOI":"10.1145\/504282.504286"},{"key":"95_CR9","doi-asserted-by":"crossref","unstructured":"Salcianu, A., Rinard, M.: Pointer and escape analysis for multithreaded programs. In: Proceedings of ACM Symposium on Principles and Practice of Parallel Programming, pp. 12\u201323 (2001)","DOI":"10.1145\/379539.379553"},{"key":"95_CR10","doi-asserted-by":"crossref","unstructured":"Ruf, E.: Effective synchronization removal for Java. In: Proceedings of ACM Conference on Programming Language Design and Implementation, pp. 208\u2013218 (2000)","DOI":"10.1145\/349299.349327"},{"key":"95_CR11","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Proceedings of ACM Symposium on Principles of Programming Languages, pp. 32\u201341 (1996)","DOI":"10.1145\/237721.237727"},{"key":"95_CR12","doi-asserted-by":"crossref","unstructured":"Whaley, J., Linard, M.: Compositional pointer and escape analysis for Java programs. In: Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (1999)","DOI":"10.1145\/320384.320400"},{"key":"95_CR13","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: An efficient inclusion-based points-to analysis for strictlytyped languages. In: Proceedings of Static Analysis Symposium (2002)","DOI":"10.1007\/3-540-45789-5_15"},{"key":"95_CR14","doi-asserted-by":"crossref","unstructured":"Whaley, J.: Joeq: A Virtual Machine and Compiler Infrastructure. In: Proceedings of ACM SIGPLAN Workshop on Interpreters, Virtual Machines and Emulators (2003)","DOI":"10.1145\/858570.858577"}],"container-title":["Lecture Notes in Computer Science","Computer and Information Sciences - ISCIS 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30182-0_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:46:00Z","timestamp":1605761160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30182-0_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235262","9783540301820"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30182-0_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}