{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:53:34Z","timestamp":1770296014618,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540691631","type":"print"},{"value":"9783540691662","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69166-2_8","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T09:25:03Z","timestamp":1215941103000},"page":"110-127","source":"Crossref","is-referenced-by-count":3,"title":["Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA"],"prefix":"10.1007","author":[{"given":"Prakash","family":"Prabhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Priti","family":"Shankar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: Programming language design and implementation, pp. 131\u2013144 (2004)","DOI":"10.1145\/996841.996859"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Fink, S.J., Knobe, K., Sarkar, V.: Unified analysis of array and object references in strongly typed languages. In: Static Analysis Symposium, pp. 155\u2013174 (2000)","DOI":"10.1007\/978-3-540-45099-3_9"},{"issue":"4","key":"8_CR3","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst.\u00a013(4), 451\u2013490 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Hasti, R., Horwitz, S.: Using static single assignment form to improve flow-insensitive pointer analysis. In: Programming language design and implementation, pp. 97\u2013105 (1998)","DOI":"10.1145\/277650.277668"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Knobe, K., Sarkar, V.: Array SSA form and its use in parallelization. In: Symposium on Principles of Programming Languages, pp. 107\u2013120 (1998)","DOI":"10.1145\/268946.268956"},{"key":"8_CR6","unstructured":"Reps, T.W.: Program analysis via graph reachability. In: International Logic Programming Symposium, pp. 5\u201319 (1997)"},{"key":"8_CR7","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (May 1994)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for Java programs. In: Object-oriented programming, systems, languages, and applications, pp. 187\u2013206 (1999)","DOI":"10.1145\/320384.320400"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Gupta, M., Serrano, M., Sreedhar, V.C., Midkiff, S.: Escape analysis for Java. In: Object-oriented programming, systems, languages, and applications, pp. 1\u201319 (1999)","DOI":"10.1145\/320384.320386"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: International conference on Management of data, pp. 442\u2013453 (1994)","DOI":"10.1145\/191839.191927"},{"issue":"6","key":"8_CR11","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1002\/(SICI)1096-9128(199706)9:6<445::AID-CPE301>3.0.CO;2-L","volume":"9","author":"Z. Budimlic","year":"1997","unstructured":"Budimlic, Z., Kennedy, K.: Optimizing Java: theory and practice. Concurrency: Practice and Experience\u00a09(6), 445\u2013463 (1997)","journal-title":"Concurrency: Practice and Experience"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8","volume-title":"Programming Languages and Systems","author":"J. Whaley","year":"2005","unstructured":"Whaley, J., Avots, D., Carbin, M., Lam, M.S.: Using Datalog and binary decision diagrams for program analysis. In: Yi, K. (ed.) APLAS 2005. LNCS, vol.\u00a03780, Springer, Heidelberg (2005)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3\u2013valued logic. In: Symposium on Principles of Programming Languages, pp. 105\u2013118 (1999)","DOI":"10.1145\/292540.292552"},{"issue":"4","key":"8_CR14","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/778559.778561","volume":"25","author":"U.P. Schultz","year":"2003","unstructured":"Schultz, U.P., Lawall, J.L., Consel, C.: Automatic program specialization for Java. ACM Trans. Program. Lang. Syst.\u00a025(4), 452\u2013499 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Emami, M., Ghiya, R., Hendren, L.J.: Context-sensitive interprocedural points-to analysis in the presence of function pointers. In: Programming language design and implementation, pp. 242\u2013256 (1994)","DOI":"10.1145\/178243.178264"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Sridharan, M., Bod\u00edk, R.: Refinement-based context-sensitive points-to analysis for Java. In: Programming language design and implementation, pp. 387\u2013400 (2006)","DOI":"10.1145\/1133255.1134027"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to and side-effect analyses for Java. In: International Symposium on Software testing and analysis, pp. 1\u201311 (2002)","DOI":"10.1145\/566172.566174"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69166-2_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:30:17Z","timestamp":1620016217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69166-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540691631","9783540691662"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69166-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}