{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:01:24Z","timestamp":1770289284458,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540442356","type":"print"},{"value":"9783540457893","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45789-5_18","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T13:50:10Z","timestamp":1186840210000},"page":"230-246","source":"Crossref","is-referenced-by-count":9,"title":["Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Adams","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Ball","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuvir","family":"Das","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorin","family":"Lerner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sriram K.","family":"Rajamani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Seigle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,5]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/378795.378846","volume":"35","author":"T. Ball","year":"2001","unstructured":"Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Rajamani. Automatic predicate abstraction of c programs. In Proceedings of the ACM SIGPLAN\u2019 01 Conference on Programming Language Design and Implementation (PLDI-01), volume 35, pages 203\u2013213, 2001.","journal-title":"Proceedings of the ACM SIGPLAN\u2019 01 Conference on Programming Language Design and Implementation (PLDI-01)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of SPIN\u2019 01, 8th Annual SPIN Workshop on Model Checking of Software, May 2001.","DOI":"10.1007\/3-540-45139-0_7"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Thomas Ball and Sriram K. Rajamani. Bebop: A path-sensitive interprocedural dataflow engine. In Proceedings of PASTE\u2019 01, ACM SIGPLANSIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June 2001.","DOI":"10.1145\/379605.379690"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451\u2013490, October 1991.","DOI":"10.1145\/115372.115320"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"R. Chatterjee, B. Ryder, and W. Landi. Relevant context inference. In Proceedings of POPL\u2019 99, 26st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1999.","DOI":"10.1145\/292540.292554"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Manuvir Das. Unification-based pointer analysis with directional assignments. In Proceedings of the ACM SIGPLAN\u2019 00 Conference on Programming Language Design and Implementation (PLDI-00), 2000.","DOI":"10.1145\/349299.349309"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Evelyn Duesterwald, Rajiv Gupta, and Mary Lou Soffa. Demand-driven computation of interprocedural data flow. In Symposium on Principles of Programming Languages, pages 37\u201348, 1995.","DOI":"10.1145\/199448.199461"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Manuvir Das, Ben Liblit, Manuel Fahndrich, and Jakob Rehof. Estimating the impact of scalable pointer analysis on optimization. In Proceedings of the 8th International Symposium on Static Analysis, 2001.","DOI":"10.1007\/3-540-47764-0_15"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"M. Das, S. Lerner, and M. Seigle. ESP: Path sensitive program verification in polynomial time. In Proceedings of the ACM SIGPLAN\u2019 02 Conference on Programming Language Design and Implementation (PLDI-02), June 2002.","DOI":"10.1145\/512529.512538"},{"key":"18_CR10","volume-title":"Technical Report UCB\/\/CSD-01-1162","author":"J. S. Foster","year":"2001","unstructured":"Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-Sensitive Type Qualifiers. Technical Report UCB\/\/CSD-01-1162, University of California, Berkeley, November 2001."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26\u201360, January 1990.","DOI":"10.1145\/77606.77608"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Susan Horwitz, Thomas Reps, and Mooly Sagiv. Demand-driven inter-procedural dataflow analysis. In Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering Notes, volume 20, 1995.","DOI":"10.1145\/222124.222146"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Nevin Heintze and O. Tardeau. Ultra fast aliasing analysis using CLA: a million lines in a second. In Proceedings of the ACM SIGPLAN\u2019 01 Conference on Programming Language Design and Implementation (PLDI-01), 2001.","DOI":"10.1145\/378795.378855"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"R. O\u2019Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In Proceedings of the 1997 International Conference on Software Engineering, 1997.","DOI":"10.1145\/253228.253351"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Atanas Rountev, Barbara G. Ryder, and William Landi. Data-flow analysis of program fragments. In Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 235\u2013252, 1999.","DOI":"10.1007\/3-540-48166-4_15"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"E. Ruf. Partitioning dataflow analyses using types. In Conference Record of the Twenty-Fourth ACM Symposium on Principles of Programming Languages, 1997.","DOI":"10.1145\/263699.263705"},{"issue":"1","key":"18_CR17","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R. Strom","year":"1986","unstructured":"R. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, 12(1):157\u2013171, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"18_CR18","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121\u2013189, 1995.","journal-title":"Journal of Programming Languages"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"R. Wilson and Monica Lam. Efficient context-sensitive pointer analysis for C progams. In Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation (PLDI-95), 1995.","DOI":"10.1145\/207110.207111"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"S. Zhang, B. Ryder, and W. Landi. Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses. In Fourth Symposium on the Foundations of Software Engineering (FSE4), 1996.","DOI":"10.1145\/239098.239112"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45789-5_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:24:05Z","timestamp":1556753045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45789-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442356","9783540457893"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45789-5_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}