{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:52:56Z","timestamp":1752983576014},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540772194"},{"type":"electronic","value":"9783540772200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77220-0_25","type":"book-chapter","created":{"date-parts":[[2008,1,21]],"date-time":"2008-01-21T20:07:56Z","timestamp":1200946076000},"page":"245-256","source":"Crossref","is-referenced-by-count":2,"title":["Partial Flow Sensitivity"],"prefix":"10.1007","author":[{"given":"Subhajit","family":"Roy","sequence":"first","affiliation":[]},{"given":"Y. N.","family":"Srikant","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Choi, J.D., Burke, M., Carini, P.: Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, pp. 232\u2013245 (1993)","DOI":"10.1145\/158511.158639"},{"key":"25_CR2","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (1994)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025882","volume-title":"Languages and Compilers for Parallel Computing","author":"M. Burke","year":"1995","unstructured":"Burke, M., Carini, P., Choi, J.D., Hind, M.: Flow-Insensitive Interprocedural Alias Analysis in the Pressence of Pointers. In: Pingali, K.K., Gelernter, D., Padua, D.A., Banerjee, U., Nicolau, A. (eds.) Languages and Compilers for Parallel Computing. LNCS, vol.\u00a0892, Springer, Heidelberg (1995)"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00264320","volume":"10","author":"W.A. Babich","year":"1978","unstructured":"Babich, W.A., Jazayeri, M.: The Method of Attributes for Data Flow Analysis: Part II. Demand Analysis. Acta Inf.\u00a010, 265\u2013272 (1978)","journal-title":"Acta Inf."},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/222124.222146","volume-title":"SIGSOFT 1995","author":"S. Horwitz","year":"1995","unstructured":"Horwitz, S., Reps, T., Sagiv, M.: Demand interprocedural dataflow analysis. In: SIGSOFT 1995. Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, pp. 104\u2013115. ACM Press, New York (1995)"},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/199448.199461","volume-title":"POPL 1995","author":"E. Duesterwald","year":"1995","unstructured":"Duesterwald, E., Gupta, R., Soffa, M.L.: Demand-driven computation of interprocedural data flow. In: POPL 1995. Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 37\u201348. ACM Press, New York (1995)"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/277650.277668","volume-title":"PLDI 1998","author":"R. Hasti","year":"1998","unstructured":"Hasti, R., Horwitz, S.: Using static single assignment form to improve flow-insensitive pointer analysis. In: PLDI 1998. Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, pp. 97\u2013105. ACM Press, New York (1998)"},{"issue":"5","key":"25_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/780822.781144","volume":"38","author":"M. Berndl","year":"2003","unstructured":"Berndl, M., Lhot\u00e1k, O., Qian, F., Hendren, L., Umanee, N.: Points-to analysis using BDDs. SIGPLAN Not.\u00a038(5), 103\u2013114 (2003)","journal-title":"SIGPLAN Not."},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Guyer, S.Z., Lin, C.: Client-Driven Pointer Analysis. In: International Static Analysis Symposium, pp. 214\u2013236 (2003)","DOI":"10.1007\/3-540-44898-5_12"},{"key":"25_CR10","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers Inc., San Francisco (1997)"},{"key":"25_CR11","unstructured":"Roy, S., Srikant, Y.N.: Partial Flow Sensitivity. Tech. Report CSA-TR-2006-12, Dept. of Computer Science & Automation, Indian Institute of Science (2006)"},{"key":"25_CR12","first-page":"189","volume-title":"Program Flow Analysis: Theory and Applications","author":"M. Sharir","year":"1981","unstructured":"Sharir, M., Pnueli, A.: Two Approaches to Interprocedural Data Flow Analysis. In: Muchnick, S., Jones, N. (eds.) Program Flow Analysis: Theory and Applications, pp. 189\u2013234. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"25_CR13","unstructured":"LANCE Retargetable C Compiler: \n                    \n                      http:\/\/www.lancecompiler.com\/"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Lam, M.S., Whaley, J., Livshits, V.B., Martin, M.C., Avots, D., Carbin, M., Unkel, C.: Context-sensitive program analysis as database queries. In: Proceedings of the ACM Symposium on Principles of Database Systems, pp. 1\u201312 (2005)","DOI":"10.1145\/1065167.1065169"},{"key":"25_CR15","unstructured":"Austin, T., et al.: The Pointer-intensive Benchmark Suite, \n                    \n                      http:\/\/www.cs.wisc.edu\/~austin\/ptr-dist.html"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing \u2013 HiPC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77220-0_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:04:10Z","timestamp":1619521450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77220-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540772194","9783540772200"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77220-0_25","relation":{},"subject":[]}}