{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T02:10:43Z","timestamp":1794363043367,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642009549","type":"print"},{"value":"9783642009556","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00955-6_32","type":"book-chapter","created":{"date-parts":[[2009,4,8]],"date-time":"2009-04-08T02:29:58Z","timestamp":1239157798000},"page":"273-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Complete Def-Use Analysis in Recursive Programs with Dynamic Data Structures"],"prefix":"10.1007","author":[{"given":"R.","family":"Castillo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Corbera","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Navarro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Asenjo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E. L.","family":"Zapata","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Asenjo, R., Castillo, R., Corbera, F., Navarro, A., Tineo, A., Zapata, E.L.: Parallelizing irregular C codes assisted by interprocedural shape analysis. In: 22nd IEEE International Parallel & Distributed Processing Symposium (IPDPS 2008), Florida, USA (April 2008)","DOI":"10.1109\/IPDPS.2008.4536285"},{"key":"32_CR2","unstructured":"Hwang, Y.S.: Interprocedural definition-use chains of dynamic recursive data structures. Ph.D. thesis, Faculty of the Graduate School of the Univ. of Maryland (1998)"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11532378_1","volume-title":"Languages and Compilers for High Performance Computing","author":"T.A. Johnson","year":"2005","unstructured":"Johnson, T.A., Lee, S.I., Fei, L., Basumallik, A., Upadhyaya, G., Eigenmann, R., Midkiff, S.P.: Experiences in using Cetus for source-to-source transformations. In: Eigenmann, R., Li, Z., Midkiff, S.P. (eds.) LCPC 2004. LNCS, vol.\u00a03602, pp. 1\u201314. Springer, Heidelberg (2005)"},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/BFb0032688","volume-title":"Languages and Compilers for Parallel Computing","author":"Y. Hwang","year":"1998","unstructured":"Hwang, Y., Saltz, J.: Identifying DEF\/USE information of statements that construct and traverse dynamic recursive data structures. In: Huang, C.-H., Sadayappan, P., Sehr, D. (eds.) LCPC 1997. LNCS, vol.\u00a01366, pp. 131\u2013145. Springer, Heidelberg (1998)"},{"key":"32_CR5","unstructured":"Lucia, A.D.: Program slicing: Methods and applications. In: Proc. 1st IEEE International Workshop Source Code Analysis and Manipulation (2001)"},{"issue":"8","key":"32_CR6","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1109\/TSE.2005.94","volume":"31","author":"M. Mock","year":"2005","unstructured":"Mock, M., Atkinson, D.C., Chambers, C., Eggers, S.J.: Program slicing with dynamic points-to sets. IEEE Transactions on Software Engineering\u00a031(8), 657\u2013678 (2005)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Carlisle, M., Rogers, A.: Software caching and computation migration in olden. In: ACM Symposium on Principles and Practice of Parallel Programming, PPoPP (1995)","DOI":"10.1145\/209936.209941"},{"key":"32_CR8","first-page":"43","volume":"2","author":"E. Stoltz","year":"1994","unstructured":"Stoltz, E., Gerlek, M.P., Wolfe, M.: Extended ssa with factored use-def chains to support optimizationand parallelism. Software Technology, Proc. of the 27th Hawaii International Conference on System Sciences\u00a02, 43\u201352 (1994)","journal-title":"Software Technology, Proc. of the 27th Hawaii International Conference on System Sciences"},{"key":"32_CR9","series-title":"Sch. of Comp. Sci., McGill U","first-page":"128","volume-title":"ACAPS Tech. Memo.","author":"C. Lapkowski","year":"1998","unstructured":"Lapkowski, C., Hendren, L.: Extended ssa numbering: Introducing ssa properties to languages with multi-level pointers. In: ACAPS Tech. Memo. Sch. of Comp. Sci., McGill U, vol.\u00a0102, pp. 128\u2013143. Springer, Heidelberg (1998)"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/174662.174663","volume":"16","author":"M. Harrold","year":"1994","unstructured":"Harrold, M., Soffa, M.: Efficient computation of interprocedural definition-use chains. ACM Trans. Program. Lang. Syst.\u00a016, 175\u2013204 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"32_CR11","volume-title":"Conference Record of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R. Ghiya","year":"1996","unstructured":"Ghiya, R., Hendren, L.J.: 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 SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, Florida (1996)"},{"issue":"1","key":"32_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems\u00a020(1), 1\u201350 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Assman, U., Weinhardt, M.: Interprocedural heap analysis for parallelizing imperative programs. In: Proc. Programming Models for Massively Parallel Computers, pp. 74\u201382 (1993)","DOI":"10.1109\/PMMP.1993.315553"},{"key":"32_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_12","volume-title":"Static Analysis","author":"S.Z. Guyer","year":"2003","unstructured":"Guyer, S.Z., Lin, C.: Client-driven pointer analysis. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694. Springer, Heidelberg (2003)"},{"key":"32_CR15","doi-asserted-by":"crossref","unstructured":"Ghiya, R., Hendren, L.: Putting pointer analysis to work. In: Proc. 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pp. 121\u2013133 (January 1998)","DOI":"10.1145\/268946.268957"},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.jpdc.2006.08.007","volume":"67","author":"A. Navarro","year":"2007","unstructured":"Navarro, A., Corbera, F., Tineo, A., Asenjo, R., Zapata, E.L.: Detecting loop-carried depedences in programs with dynamic data structures. Journal of Parallel and Distributed Computing\u00a067, 47\u201362 (2007)","journal-title":"Journal of Parallel and Distributed Computing"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2008 Workshops - Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00955-6_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T17:10:57Z","timestamp":1739034657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00955-6_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642009549","9783642009556"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00955-6_32","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-00955-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}