{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T06:30:05Z","timestamp":1744871405883},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610533"},{"type":"electronic","value":"9783540499398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61053-7_58","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:04Z","timestamp":1330290784000},"page":"136-150","source":"Crossref","is-referenced-by-count":27,"title":["Points-to analysis by type inference of programs with structures and unions"],"prefix":"10.1007","author":[{"given":"Bjarne","family":"Steensgaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"10_CR1","unstructured":"American National Standards Institute, Inc. Programming language \u2014C, December 1989."},{"key":"10_CR2","unstructured":"Lars Ole Andersen. Program Analysis and Specialization for the. C Programming Language. PhD thesis, Department of Computer Science, University of Copenhagen, May 1994."},{"key":"10_CR3","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers\u2014Principles, Techniques, and Tools. Addison-Wesley, 1986."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Flow-insensitive interprocedural alias analysis in the presence of pointers. In Proceedings from the 7th International Workshop on Languages and Compilers for Parallel Computing, volume 892 of Lecture Notes in Computer Science, pages 234\u2013250. Springer-Verlag, 1995. Extended version published as Research Report RC 19546, IBM T.J. Watson Research Center, September 1994.","DOI":"10.1007\/BFb0025882"},{"key":"10_CR5","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 Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 232\u2013245, January 1993.","DOI":"10.1145\/158511.158639"},{"key":"10_CR6","unstructured":"William Clinger and Jonathan Rees (editors). Revised4 report on the algorithmic language Scheme, November 1991."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"David R. Chase, Mark Wegman, and F. Kenneth Zadeck. Analysis of pointers and structures. In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 296\u2013310, June 1990.","DOI":"10.1145\/93542.93585"},{"key":"10_CR8","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 SIGPLAN'94: Conference on Programming Language Design and Implementation, pages 242\u2013256, June 20\u201324 1994.","DOI":"10.1145\/178243.178264"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Fritz Henglein. Efficient type inference for higher-order binding-time analysis. In Functional Programming and Computer Architecture, pages 448\u2013472, 1991.","DOI":"10.1007\/3540543961_22"},{"key":"10_CR10","unstructured":"Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language, Second edition. Prentice Hall, 1988."},{"key":"10_CR11","unstructured":"William Landi. Almost linear time points-to analyses. Personal communication at POPL'95, January 1995."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"William Landi and Barbara G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235\u2013248, June 1992.","DOI":"10.1145\/143103.143137"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"William A. Landi, Barbara G. Ryder, and Sean Zhang. Interprocedural modification side effect analysis with pointer aliasing. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 56\u201367, June 1993.","DOI":"10.1145\/155090.155096"},{"key":"10_CR14","unstructured":"David Morgenthaler. Poster presentation at PLDI'95, June 1995."},{"key":"10_CR15","unstructured":"Robert O'Callahan and Daniel Jackson. Detecting shared representations using type inference. Technical Report CMU-CS-95-202, School of Computer Science, Carnegie Mellon University, September 1995."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Erik Ruf. Context-insensitive alias analysis reconsidered. In SIGPLAN'95 Conference on Programming Language Design and Implementation, pages 13\u201322, June 1995.","DOI":"10.1145\/207110.207112"},{"key":"10_CR17","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. Technical Report MSR-TR-95-08, Microsoft Research, March 1995."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Bjarne Steensgaard. Points-to analysis in almost linear time. In Proceedings 23rd SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1996.","DOI":"10.1145\/237721.237727"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Robert E. Tarjan. Data structures and network flow algorithms. In Regional Conference Series in Applied Mathematics, volume CMBS 44. SIAM, 1983.","DOI":"10.1137\/1.9781611970265"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Daniel Weise, Roger F. Crew, Michael Ernst, and Bjarne Steensgaard. Value dependence graphs: Representation without taxation. In Proceedings 21st SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 297\u2013310, January 1994.","DOI":"10.1145\/174675.177907"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Robert P. Wilson and Monica S. Lam. Efficient context-sensitive pointer analysis for C programs. In SIGPLAN'95 Conference on Programming Language Design and Implementation, pages 1\u201312, June 1995.","DOI":"10.1145\/207110.207111"},{"key":"10_CR22","unstructured":"Sean Zhang. Poster presentation at PLDI'95, June 1995."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61053-7_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:50Z","timestamp":1605647030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61053-7_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610533","9783540499398"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61053-7_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}