{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:56Z","timestamp":1725456236793},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630913"},{"type":"electronic","value":"9783540691280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0017248","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:31:40Z","timestamp":1132641100000},"page":"101-119","source":"Crossref","is-referenced-by-count":1,"title":["Context-sensitive interprocedural analysis in the presence of dynamic aliasing"],"prefix":"10.1007","author":[{"given":"Patrick W.","family":"Sathyanathan","sequence":"first","affiliation":[]},{"given":"Monica S.","family":"Lam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Flow-insensitive interprocedural alias analysis in the presence of function pointers. In K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892, pages 234\u2013250. Springer-Verlag, 1995. Proceedings from the 7th International Workshop on Languages and Compilers for Parallel Computing. Extended version published as Research Report RC-19546, IBM T. J. Watson Research Center, September, 1994.","DOI":"10.1007\/BFb0025882"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Michael Burke, and Paul Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proceedings of the 20th Annual ACM Symposium on Principles of Programming Languages, pages 232\u2013245, January 1993.","DOI":"10.1145\/158511.158639"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante. Automatic construction of sparse data flow evaluation graphs. In Proceedings of the 18th Annual ACM Symposium on Principles of Programming Languages, pages 55\u201366, January 1991.","DOI":"10.1145\/99583.99594"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"David Callahan, Keith D. Cooper, Ken Kennedy, and Linda Torczon. Interprocedural constant propagation. In Proceedings of the ACM SIGPLAN'86 Symposium on Compiler Construction, pages 152\u2013161, July 1986.","DOI":"10.1145\/12276.13327"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Paul R. Carini and Michael Hind. Flow-sensitive interprocedural constant propagation. Technical Report RC 20290, IBM Research Division, T.J. Watson Research Center, 1995.","DOI":"10.1145\/207110.207113"},{"key":"7_CR6","unstructured":"Paul R. Carini, Harini Srinivasan, and Michael Hind. Flow-sensitive type analysis for c++. Technical Report RC 20267, IBM Research Division, T.J. Watson Research Center, 1995."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, pages 242\u2013256, June 1994.","DOI":"10.1145\/178243.178264"},{"key":"7_CR8","unstructured":"Rakesh Ghiya. Practical techniques for interprocedural heap analysis. Master's thesis, School of Computer Science, McGill University, March 1995."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"William Landi and Barbara G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation, pages 235\u2013248, June 1992.","DOI":"10.1145\/143103.143137"},{"issue":"1","key":"7_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1145\/357062.357071","volume":"1","author":"T. Lengauer","year":"1979","unstructured":"Thomas Lengauer and Robert E. Tarjan. A fast algorithm for finding dominators in a flow-graph. ACM Transactions on Programming Languages and Systems, 1(1):121\u2013141, July 1979.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR11","unstructured":"M. Sharir and A. Pnueli. Two approaches to interprocedural data-flow analyis. In S.S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 189\u2013234. Prentice-Hall, 1981."},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1145\/322261.322273","volume":"28","author":"R. E. Tarjan","year":"1981","unstructured":"Robert E. Tarjan. Fast algorithms for solving path problems. Journal of the ACM, 28(3):594\u2013614, July 1981.","journal-title":"Journal of the ACM"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1137\/0204044","volume":"4","author":"J. D. Ullman","year":"1975","unstructured":"J. D. Ullman and M. S. Hecht. A simple algorithm for global fata flow analysis. SIAM J. Computing, 4:519\u2013532, 1975.","journal-title":"SIAM J. Computing"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Robert P. Wilson and Monica S. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation, pages 1\u201312, June 1995.","DOI":"10.1145\/207110.207111"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:45:29Z","timestamp":1586573129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630913","9783540691280"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0017248","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}