{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:22:13Z","timestamp":1742988133796,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319174037"},{"type":"electronic","value":"9783319174044"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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-17404-4_11","type":"book-chapter","created":{"date-parts":[[2015,4,16]],"date-time":"2015-04-16T08:45:59Z","timestamp":1429173959000},"page":"164-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Incremental Points-to Analysis for Java via Edit Propagation"],"prefix":"10.1007","author":[{"given":"Yuting","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiuwei","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weikai","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,17]]},"reference":[{"key":"11_CR1","first-page":"32","volume-title":"POPL","author":"B Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: Boehm Jr., H.J., Shackle, G.L.S. (eds.) POPL, pp. 32\u201341. ACM Press, New York (1996)"},{"key":"11_CR2","unstructured":"Andersen, L.O.: Program analysis and specialization for the c programming language. Master\u2019s thesis, University of Copenhagen (1994)"},{"key":"11_CR3","first-page":"428","volume-title":"OOPSLA","author":"M M\u00e9ndez-Lojo","year":"2010","unstructured":"M\u00e9ndez-Lojo, M., Mathew, A., Pingali, K.: Parallel inclusion-based points-to analysis. In: Cook, W.R., Clarke, S., Rinard, M.C. (eds.) OOPSLA, pp. 428\u2013443. ACM, New York (2010)"},{"key":"11_CR4","first-page":"107","volume-title":"PPOPP","author":"M M\u00e9ndez-Lojo","year":"2012","unstructured":"M\u00e9ndez-Lojo, M., Burtscher, M., Pingali, K.: A gpu implementation of inclusion-based points-to analysis. In: Ramanujam, J., Sadayappan, P. (eds.) PPOPP, p. 107. ACM, New York (2012)"},{"issue":"4","key":"11_CR5","first-page":"91","volume":"3","author":"O Lhot\u00e1k","year":"2013","unstructured":"Lhot\u00e1k, O., Smaragdakis, Y., Sridharan, M.: Pointer analysis (dagstuhl seminar 13162). Dagstuhl Rep. 3(4), 91\u2013113 (2013)","journal-title":"Dagstuhl Rep."},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11688839_2","volume-title":"Compiler Construction","author":"A Rountev","year":"2006","unstructured":"Rountev, A., Kagan, S., Marlowe, T.: Interprocedural dataflow analysis in the presence of large libraries. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol. 3923, pp. 2\u201316. Springer, Heidelberg (2006)"},{"key":"11_CR7","first-page":"296","volume-title":"PLDI","author":"DR Chase","year":"1990","unstructured":"Chase, D.R., Wegman, M.N., Zadeck, F.K.: Analysis of pointers and structures. In: Fischer, B.N. (ed.) PLDI, pp. 296\u2013310. ACM, New York (1990)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Hardekopf, B., Lin, C.: Flow-sensitive pointer analysis for millions of lines of code. In: IEEE CGO, pp. 289\u2013298 (2011)","DOI":"10.1109\/CGO.2011.5764696"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-37051-9_4","volume-title":"Compiler Construction","author":"Y Lu","year":"2013","unstructured":"Lu, Y., Shang, L., Xie, X., Xue, J.: An incremental points-to analysis with CFL-reachability. In: Jhala, R., De Bosschere, K. (eds.) Compiler Construction. LNCS, vol. 7791, pp. 61\u201381. Springer, Heidelberg (2013)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-19861-8_12","volume-title":"Compiler Construction","author":"J Jenista","year":"2011","unstructured":"Jenista, J., Eom, Y., Demsky, B.: Using disjoint reachability for parallelization. In: Knoop, J. (ed.) CC 2011. LNCS, vol. 6601, pp. 198\u2013224. Springer, Heidelberg (2011)"},{"key":"11_CR11","unstructured":"Vallee-Rai, R., Hendren, L.J.: Jimple: Simplifying java bytecode for analyses and transformations (1998)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-36579-6_12","volume-title":"Compiler Construction","author":"O Lhot\u00e1k","year":"2003","unstructured":"Lhot\u00e1k, O., Hendren, L.: Scaling java points-to analysis using SPARK. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 153\u2013169. Springer, Heidelberg (2003)"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.2009.6","volume":"26","author":"H Gall","year":"2009","unstructured":"Gall, H., Fluri, B., Pinzger, M.: Change analysis with evolizer and changedistiller. IEEE Softw. 26(1), 26\u201333 (2009)","journal-title":"IEEE Softw."},{"issue":"11","key":"11_CR14","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1109\/TSE.2007.70731","volume":"33","author":"B Fluri","year":"2007","unstructured":"Fluri, B., W\u00fcrsch, M., Pinzger, M., Gall, H.: Change distilling: tree differencing for fine-grained source code change extraction. IEEE Trans. Softw. Eng. 33(11), 725\u2013743 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR15","first-page":"13","volume-title":"Soot-A Java Bytecode Optimization Framework","author":"RCP Vall\u00e9e-Rai","year":"1999","unstructured":"Vall\u00e9e-Rai, R.C.P., Gagnon, E., Hendren, L.J., Lam, P., Sundaresan, V.: CASCON. In: MacKay, S.A., Johnson, J.H. (eds.) Soot-A Java Bytecode Optimization Framework, p. 13. IBM, San Diego (1999)"},{"key":"11_CR16","first-page":"290","volume-title":"PLDI","author":"B Hardekopf","year":"2007","unstructured":"Hardekopf, B., Lin, C.: The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. In: Ferrante, J., McKinley, K.S. (eds.) PLDI, pp. 290\u2013299. ACM, New York (2007)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11688839_3","volume-title":"Compiler Construction","author":"TB Tok","year":"2006","unstructured":"Tok, T.B., Guyer, S.Z., Lin, C.: Efficient flow-sensitive interprocedural data-flow analysis in the presence of pointers. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol. 3923, pp. 17\u201331. Springer, Heidelberg (2006)"},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/1480881.1480911","volume-title":"POPL","author":"B Hardekopf","year":"2009","unstructured":"Hardekopf, B., Lin, C.: Semi-sparse flow-sensitive pointer analysis. In: Shao, Z., Pierce, B.C. (eds.) POPL, pp. 226\u2013238. ACM, New York (2009)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/1375581.1375616","volume-title":"PLDI","author":"S Gulwani","year":"2008","unstructured":"Gulwani, S., Srivastava, S., Venkatesan, R.: Program analysis as constraint solving. In: Gupta, R., Amarasinghe, S.P. (eds.) PLDI, pp. 281\u2013292. ACM, New York (2008)"},{"key":"11_CR20","first-page":"58","volume-title":"SIGSOFT FSE","author":"W Visser","year":"2012","unstructured":"Visser, W., Geldenhuys, J., Dwyer, M.B.: Green: reducing, reusing and recycling constraints in program analysis. In: Tracz, W., Robillard, M.P., Bultan, T. (eds.) SIGSOFT FSE, p. 58. ACM, New York (2012)"},{"key":"11_CR21","first-page":"177","volume-title":"POPL","author":"JR Allen","year":"1983","unstructured":"Allen, J.R., Kennedy, K., Porterfield, C., Warren, J.D.: Conversion of control dependence to data dependence. In: Wright, J.R., Landweber, L., Demers, A.J., Teitelbaum, T. (eds.) POPL, pp. 177\u2013189. ACM, New York (1983)"},{"issue":"12","key":"11_CR22","doi-asserted-by":"publisher","first-page":"1537","DOI":"10.1109\/32.58766","volume":"15","author":"LL Pollock","year":"1989","unstructured":"Pollock, L.L., Soffa, M.L.: An incremental version of iterative data flow analysis. IEEE Trans. Soft. Eng. 15(12), 1537\u20131549 (1989)","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"7","key":"11_CR23","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1109\/32.56098","volume":"16","author":"MG Burke","year":"1990","unstructured":"Burke, M.G., Ryder, B.G.: A critical analysis of incremental iterative data flow analysis algorithms. IEEE Trans. Soft. Eng. 16(7), 723\u2013728 (1990)","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"4","key":"11_CR24","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1023\/B:IJPP.0000035816.93295.68","volume":"32","author":"S Carroll","year":"2004","unstructured":"Carroll, S., Polychronopoulos, C.D.: A framework for incremental extensible compiler construction. Int. J. Parallel Program. 32(4), 289\u2013316 (2004)","journal-title":"Int. J. Parallel Program."},{"key":"11_CR25","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/782814.782824","volume-title":"ICS","author":"S Carroll","year":"2003","unstructured":"Carroll, S., Polychronopoulos, C.D.: A framework for incremental extensible compiler construction. In: Banerjee, U., Gallivan, K., Gonz\u00e1lez, A. (eds.) ICS, pp. 53\u201362. ACM, New York (2003)"},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/302405.302676","volume-title":"ICSE","author":"JS Yur","year":"1999","unstructured":"Yur, J.S., Ryder, B.G., Landi, W.: An incremental flow- and context-sensitive pointer aliasing analysis. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) ICSE, pp. 442\u2013451. ACM, New York (1999)"},{"key":"11_CR27","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/378795.378804","volume-title":"PLDI","author":"F Vivien","year":"2001","unstructured":"Vivien, F., Rinard, M.C.: Incrementalized pointer and escape analysis. In: Burke, M., Soffa, M.L. (eds.) PLDI, pp. 35\u201346. ACM, New York (2001)"},{"key":"11_CR28","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1145\/1069774.1069785","volume-title":"PPDP","author":"D Saha","year":"2005","unstructured":"Saha, D., Ramakrishnan, C.R.: Incremental and demand-driven points-to analysis using logic programming. In: Barahona, P., Felty, A.P. (eds.) PPDP, pp. 117\u2013128. ACM, New York (2005)"},{"key":"11_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/11547662_16","volume-title":"Static Analysis","author":"J Kodumal","year":"2005","unstructured":"Kodumal, J., Aiken, A.: Banshee: a scalable constraint-based analysis toolkit. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol. 3672, pp. 218\u2013234. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17404-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T14:07:05Z","timestamp":1691590025000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17404-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319174037","9783319174044"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17404-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}