{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:08:57Z","timestamp":1725466137327},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053573","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:40:18Z","timestamp":1149658818000},"page":"221-235","source":"Crossref","is-referenced-by-count":7,"title":["Building a bridge between pointer aliases and program dependences"],"prefix":"10.1007","author":[{"given":"John L.","family":"Ross","sequence":"first","affiliation":[]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"15_CR1","first-page":"246","volume-title":"ACM SIGPLAN Notices","author":"H. Agrawal","year":"1990","unstructured":"H. Agrawal and J.R. Horgan. Dynamic program slicing. In SIGPLAN Conference on Programming Languages Design and Implementation, volume 25 of ACM SIGPLAN Notices, pages 246\u2013256, White Plains, New York, June 1990."},{"key":"15_CR2","unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1985."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"M. Alt and F. Martin. Generation of efficient interprocedural analyzers with PAG. In SAS'95, Static Analysis, number 983 in Lecture Notes in Computer Science, pages 33\u201350. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60360-3_31"},{"key":"15_CR4","first-page":"29","volume-title":"An efficient way to find the side effects of procedure calls and the aliases of variables","author":"J.P. Banning","year":"1979","unstructured":"J.P. Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. In ACM Symposium on Principles of Programming Languages, pages 29\u201341, New York, NY, 1979. ACM Press."},{"key":"15_CR5","first-page":"296","volume-title":"Analysis of pointers and structures","author":"D.R. Chase","year":"1990","unstructured":"D.R. Chase, M. Wegman, and F. Zadeck. Analysis of pointers and structures. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 296\u2013310, New York, NY, 1990. ACM Press."},{"key":"15_CR6","first-page":"232","volume-title":"Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side-effects","author":"J.D. Choi","year":"1993","unstructured":"J.D. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side-effects. In ACM Symposium on Principles of Programming Languages, pages 232\u2013245, New York, NY, 1993. ACM Press."},{"key":"15_CR7","first-page":"57","volume-title":"Interprocedural side-effect analysis in linear time","author":"K.D. Cooper","year":"1988","unstructured":"K.D. Cooper and K. Kennedy. Interprocedural side-effect analysis in linear time. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 57\u201366, New York, NY, 1988. ACM Press."},{"key":"15_CR8","first-page":"2","volume-title":"A storeless model for aliasing and its abstractions using finite representations of right-regular equivalence relations","author":"A. Deutsch","year":"1992","unstructured":"A. Deutsch. A storeless model for aliasing and its abstractions using finite representations of right-regular equivalence relations. In IEEE International Conference on Computer Languages, pages 2\u201313, Washington, DC, 1992. IEEE Press."},{"key":"15_CR9","first-page":"230","volume-title":"Interprocedural may-alias analysis for pointers: Beyond k-limiting","author":"A. Deutsch","year":"1994","unstructured":"A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 230\u2013241, New York, NY, 1994. ACM Press."},{"key":"15_CR10","first-page":"226","volume-title":"Semantic models and abstract interpretation for inductive data structures and pointers","author":"A. Deutsch","year":"1995","unstructured":"A. Deutsch. Semantic models and abstract interpretation for inductive data structures and pointers. In Proc. of ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'95, pages 226\u2013228, New York, NY, June 1995. ACM Press."},{"key":"15_CR11","volume-title":"Context-sensitive interprocedural points-to analysis in the presence of function pointers","author":"M. Emami","year":"1994","unstructured":"M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In SIGPLAN Conference on Programming Languages Design and Implementation, New York, NY, 1994. ACM Press."},{"issue":"9","key":"15_CR12","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"3","author":"J. Ferrante","year":"1987","unstructured":"J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 3(9):319\u2013349, 1987.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR13","volume-title":"Is it a tree, a dag, or a cyclic graph?","author":"R. Ghiya","year":"1996","unstructured":"R. Ghiya and L.J. Hendren. Is it a tree, a dag, or a cyclic graph? In ACM Symposium on Principles of Programming Languages, New York, NY, January 1996. ACM Press."},{"key":"15_CR14","first-page":"515","volume-title":"Lecture Notes in Computer Science","author":"R. Ghiya","year":"1995","unstructured":"R. Ghiya and L.J. Hendren. Connection analysis: A practical interprocedural heap analysis for c. In Proc. of the 8th Intl. Work, on Languages and Compilers for Parallel Computing, number 1033 in Lecture Notes in Computer Science, pages 515\u2013534, Columbus, Ohio, August 1995. Springer-Verlag."},{"key":"15_CR15","volume-title":"Putting pointer analysis to work","author":"R. Ghiya","year":"1998","unstructured":"R. Ghiya and L.J. Hendren. Putting pointer analysis to work. In ACM Symposium on Principles of Programming Languages. ACM, New York, January 1998."},{"key":"15_CR16","volume-title":"PhD thesis","author":"L. Hendren","year":"1990","unstructured":"L. Hendren. Parallelizing Programs with Recursive Data Structures. PhD thesis, Cornell University, Ithaca, N.Y., Jan 1990."},{"issue":"l","key":"15_CR17","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/71.80123","volume":"l","author":"L. Hendren","year":"1990","unstructured":"L. Hendren and A. Nicolau. Parallelizing programs with recursive data structures. IEEE Transactions on Parallel and Distributed Systems, l(l):35\u201347, January 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"15_CR18","first-page":"28","volume-title":"Dependence analysis for pointer variables","author":"S. Horwitz","year":"1989","unstructured":"S. Horwitz, P. Pfeiffer, and T. Reps. Dependence analysis for pointer variables. In SIGPLAN Conference on Programming Languages Design and Implementation, volume 24 of ACM SIGPLAN Notices, pages 28\u201340, Portland, Oregon, June 1989. ACM Press."},{"key":"15_CR19","first-page":"102","volume-title":"Program Flow Analysis: Theory and Applications","author":"N.D. Jones","year":"1981","unstructured":"N.D. Jones and S.S. Muchnick. Flow analysis and optimization of Lisp-like structures. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 4, pages 102\u2013131. Prentice-Hall, Englewood Cliffs, NJ, 1981."},{"key":"15_CR20","first-page":"66","volume-title":"A flexible approach to interprocedural data flow analysis and programs with recursive data structures","author":"N.D. Jones","year":"1982","unstructured":"N.D. Jones and S.S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In ACM Symposium on Principles of Programming Languages, pages 66\u201374, New York, NY, 1982. ACM Press."},{"key":"15_CR21","first-page":"207","volume-title":"Dependence graphs and compiler optimizations","author":"D.J. Kuck","year":"1981","unstructured":"D.J. Kuck, R.H. Kuhn, B. Leasure, D.A. Padua, and M. Wolfe. Dependence graphs and compiler optimizations. In ACM Symposium on Principles of Programming Languages, pages 207\u2013218, New York, NY, 1981. ACM Press."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"W. Land, B.G. Ryder, and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. In Proc. of the ACM SIGPLAN'93 Conf. on Programming Language Design and Implementation, pages 56\u201367, 1993.","DOI":"10.1145\/155090.155096"},{"key":"15_CR23","first-page":"93","volume-title":"Pointer induced aliasing: A problem classification","author":"W. Landi","year":"1991","unstructured":"W. Landi and B.G. Ryder. Pointer induced aliasing: A problem classification. In ACM Symposium on Principles of Programming Languages, pages 93\u2013103, New York, NY, January 1991. ACM Press."},{"key":"15_CR24","unstructured":"J.R. Larus. Refining and classifying data dependences. Unpublished extended abstract, Berkeley, CA, November 1988."},{"key":"15_CR25","first-page":"21","volume-title":"Detecting conflicts between structure accesses","author":"J.R. Larus","year":"1988","unstructured":"J.R. Larus and P.N. Hilfinger. Detecting conflicts between structure accesses. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 21\u201334, New York, NY, 1988. ACM Press."},{"key":"15_CR26","first-page":"177","volume-title":"The program dependence graph in a software development environment","author":"K.J. Ottenstein","year":"1984","unstructured":"K.J. Ottenstein and L.M. Ottenstein. The program dependence graph in a software development environment. In Proceedings of the ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 177\u2013184, New York, NY, 1984. ACM Press."},{"key":"15_CR27","volume-title":"Solving shape-analysis problems in languages with destructive updating","author":"M. Sagiv","year":"1996","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In A CM Symposium on Principles of Programming Languages, New York, NY, January 1996. ACM Press."},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 1997. To Appear.","DOI":"10.1145\/237721.237725"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In ACM Symposium on Principles of Programming Languages, 1997.","DOI":"10.1145\/263699.263703"},{"key":"15_CR30","volume-title":"Points-to analysis in linear time","author":"B. Steengaard","year":"1996","unstructured":"B. Steengaard. Points-to analysis in linear time. In ACM Symposium on Principles of Programming Languages. ACM, New York, January 1996."},{"key":"15_CR31","first-page":"1","volume-title":"Efficient context-sensitive pointer analysis for c programs","author":"R.P. Willson","year":"1995","unstructured":"R.P. Willson and M.S. Lam. Efficient context-sensitive pointer analysis for c programs. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 1\u201312, La Jolla, CA, June 18\u201321 1995. ACM Press."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:34:22Z","timestamp":1555655662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053573"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/bfb0053573","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}