{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:39:15Z","timestamp":1743107955837,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112640"},{"type":"electronic","value":"9783319112657"}],"license":[{"start":{"date-parts":[[2014,11,2]],"date-time":"2014-11-02T00:00:00Z","timestamp":1414886400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,11,2]],"date-time":"2014-11-02T00:00:00Z","timestamp":1414886400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11265-7_8","type":"book-chapter","created":{"date-parts":[[2014,11,1]],"date-time":"2014-11-01T14:10:18Z","timestamp":1414851018000},"page":"99-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Influence of Alias and References Escape on Java Program Analysis"],"prefix":"10.1007","author":[{"given":"Shengbo","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dashen","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,2]]},"reference":[{"issue":"6","key":"8_CR1","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1145\/945885.945886","volume":"25","author":"B Blanchet","year":"2003","unstructured":"Blanchet, B.: Escape analysis for JavaTM: theory and practice. ACM Trans. Program. Lang. Syst. (TOPLAS) 25(6), 713\u2013775 (2003)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"8_CR2","unstructured":"Chen, R.: Infeasible path identification and its application in structural test (in Chinese). Doctoral Dissertation, Institute of Computing Technology of Chinese Academy of Sciences, China (2006)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. Proceedings of the 14th ACM SIGPLAN Conference on Object-oriented Programming. Systems, Languages, and Applications, OOPSLA\u201999, pp. 1\u201319. ACM, NY, USA (1999)","DOI":"10.1145\/320384.320386"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1145\/325478.325519","volume":"21","author":"M Hind","year":"1999","unstructured":"Hind, M., Burke, M., Carini, P., Choi, J.D.: Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst. (TOPLAS) 21(4), 848\u2013894 (1999)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1360\/jos180832","volume":"18","author":"S Jiang","year":"2007","unstructured":"Jiang, S., Xu, B., Shi, L.: An approach of data-flow analysis based on exception propagation analysis (in Chinese). J. Softw. 18(4), 832\u2013841 (2007)","journal-title":"J. Softw."},{"issue":"3","key":"8_CR6","first-page":"131","volume":"39","author":"S Jiang","year":"2012","unstructured":"Jiang, S., Zhao, X.: Data flow analysis based on the variable scope (in Chinese). Comput. Sci. 39(3), 131\u2013134 (2012)","journal-title":"Comput. Sci."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Larus, J.R.: Whole program paths. Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation. PLDI\u201999, pp. 259\u2013269. ACM, New York, NY, USA (1999)","DOI":"10.1145\/301618.301678"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Lee, K., Fang, X., Midkiff, S.P.: Practical escape analyses: how good are they? Proceedings of the 3rd International Conference on Virtual Execution Environments. VEE\u201907, pp. 180\u2013190. ACM, New York, NY, USA (2007)","DOI":"10.1145\/1254810.1254836"},{"issue":"10","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1440","DOI":"10.1016\/j.infsof.2009.04.014","volume":"51","author":"A Stone","year":"2009","unstructured":"Stone, A., Strout, M., Behere, S.: May\/Must analysis and the DFAGen data-flow analysis generator. Inf. Softw. Technol. 51(10), 1440\u20131453 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Shelekhov, V.I., Kuksenko, S.V.: Data flow analysis of Java programs in the presence of exceptions. Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics. PSI\u201999, pp. 389\u2013395. Springer-Verlag, London (2000)","DOI":"10.1007\/3-540-46562-6_34"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for java programs. Proceedings of the 14th ACM SIGPLAN Conference on Object-oriented Programming. Systems, Languages, and Applications, OOPSLA\u201999, pp. 187\u2013206. ACM, NY, USA (1999)","DOI":"10.1145\/320384.320400"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Jiang, S., Wang, Q., Zhao, X.: Infeasible basis paths detection of program with exception-handling constructs. IJACT Int. J. Adv. Comput. Technol. 4(1), 492\u2013503 (2012)","DOI":"10.4156\/ijact.vol4.issue1.56"},{"issue":"2","key":"8_CR13","first-page":"144","volume":"6","author":"Y Zhang","year":"2012","unstructured":"Zhang, Y., Jiang, S., Wang, Q., Zhao, X.: Static approach to detecting infeasible basis paths (in Chinese). J. Front. Comput. Sci. Technol. 6(2), 144\u2013155 (2012)","journal-title":"J. Front. Comput. Sci. Technol."}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11265-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T23:55:10Z","timestamp":1676418910000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11265-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,2]]},"ISBN":["9783319112640","9783319112657"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11265-7_8","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2014,11,2]]},"assertion":[{"value":"2 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}