{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:08:50Z","timestamp":1768028930145,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540672630","type":"print"},{"value":"9783540464235","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46423-9_1","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:48:40Z","timestamp":1193341720000},"page":"1-17","source":"Crossref","is-referenced-by-count":33,"title":["Shape Analysis"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Wilhelm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"U. Assmann and M. Weinhardt. Interprocedural heap analysis for parallelizing imperative programs. In W. K. Giloi, S. J\u00e4hnichen, and B. D. Shriver, editors, Programming Models For Massively Parallel Computers, pages 74\u201382, Washington, DC, September 1993. IEEE Press. 12","DOI":"10.1109\/PMMP.1993.315553"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"D.R. Chase, M. Wegman, and F. Zadeck. Analysis of pointers and structures. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 296\u2013310, New York, NY, 1990. ACM Press. 12, 13","DOI":"10.1145\/93542.93585"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"F. Corbera, R. Asenjo, and E.L. Zapata. New shape analysis techniques for automatic parallelization of C code. In International Computing Symposium, 1999. 2","DOI":"10.1145\/305138.305196"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixed points. In Symp. on Princ. of Prog. Lang., pages 238\u2013252, New York, NY, 1977. ACM Press. 9","DOI":"10.1145\/512950.512973"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 230\u2013241, New York, NY, 1994. ACM Press. 14","DOI":"10.1145\/773473.178263"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"N. Dor, M. Rodeh, and M. Sagiv. Detecting memory errors via static pointer analysis. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE\u201998), pages 27\u201334, June 1998. Available at \u201c http:\/\/www.math.tau.ac.il\/~nurr\/paste98.ps.gz \u201d. 3","DOI":"10.1145\/277633.277637"},{"key":"1_CR7","unstructured":"L. Hendren. Parallelizing Programs with Recursive Data Structures. PhD thesis, Cornell Univ., Ithaca, NY, Jan 1990. 14"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"L. Hendren, J. Hummel, and A. Nicolau. Abstractions for recursive pointer data structures: Improving the analysis and the transformation of imperative programs. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 249\u2013260, New York, NY, June 1992. ACM Press. 2","DOI":"10.1145\/143103.143138"},{"issue":"1","key":"1_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/71.80123","volume":"1","author":"L. Hendren","year":"1990","unstructured":"L. Hendren and A. Nicolau. Parallelizing programs with recursive data structures. IEEE Trans. on Par. and Dist. Syst., 1(1):35\u201347, January 1990. 14","journal-title":"IEEE Trans. on Par. and Dist. Syst."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"S. Horwitz, P. Pfeiffer, and T. Reps. Dependence analysis for pointer variables. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 28\u201340, New York, NY, 1989. ACM Press. 14","DOI":"10.1145\/73141.74821"},{"key":"1_CR11","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. 13"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"N.D. Jones and S.S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In Symp. on Princ. of Prog. Lang., pages 66\u201374, New York, NY, 1982. ACM Press. 12, 13","DOI":"10.1145\/582153.582161"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"W. Landi and B.G. Ryder. Pointer induced aliasing: A problem classification. In Symp. on Princ. of Prog. Lang., pages 93\u2013103, New York, NY, January 1991. ACM Press. 14","DOI":"10.1145\/99583.99599"},{"key":"1_CR14","volume-title":"Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors","author":"J.R. Larus","year":"1989","unstructured":"J.R. Larus. Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors. PhD thesis, Univ. of Calif., Berkeley, CA, May 1989. 13"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"J.R. Larus and P.N. Hilfinger. Detecting conflicts between structure accesses. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 21\u201334, New York, NY, 1988. ACM Press. 13","DOI":"10.1145\/53990.53993"},{"key":"1_CR16","unstructured":"T. Lev-Ami. TVLA: A framework for Kleene based static analysis. Master\u2019s thesis, 2000. 12"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. Riis Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, 1999. 9, 13","DOI":"10.1007\/978-3-662-03811-6"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. Riis Nielson, and M. Sagiv. A Kleene analysis of mobile ambients. In Proceedings of ESOP\u20192000, 2000. 12","DOI":"10.1007\/3-540-46425-5_20"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"J. Plevyak, A.A. Chien, and V. Karamcheti. Analysis of dynamic structures for efficient parallel execution. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Languages and Compilers for Parallel Computing, volume 768 of Lec. Notes in Comp. Sci., pages 37\u201357, Portland, OR, August 1993. Springer-Verlag. 12","DOI":"10.1007\/3-540-57659-2_3"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"J.L. Ross and M. Sagiv. Building a bridge between pointer aliases and program dependences. In Proceedings of the 1998 European Symposium On Programming, pages 221\u2013235, March 1998. Available at \u201c http:\/\/www.math.tau.ac.il\/~ sagiv \u201d. 2","DOI":"10.1007\/BFb0053573"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In Symp. on Princ. of Prog. Lang., New York, NY, January 1996. ACM Press. 13","DOI":"10.1145\/237721.237725"},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst., 20(1):1\u201350, January 1998. 12, 13","journal-title":"Trans. on Prog. Lang. and Syst."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Symp. on Princ. of Prog. Lang., 1999. Available at \u201c http:\/\/www.cs.wisc.edu\/wpis\/papers\/popl99.ps \u201d. 2, 10, 15","DOI":"10.1145\/292540.292552"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"J. Stransky. A lattice for abstract interpretation of dynamic (Lisp-like) structures. Inf. and Comp., 101(1):70\u2013102, Nov. 1992. 12, 13","DOI":"10.1016\/0890-5401(92)90076-R"},{"key":"1_CR25","volume-title":"Analysis of Recursive Types in an Imperative Language","author":"E.Y.-B. Wang","year":"1994","unstructured":"E.Y.-B. Wang. Analysis of Recursive Types in an Imperative Language. PhD thesis, Univ. of Calif., Berkeley, CA, 1994. 13"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46423-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T14:23:11Z","timestamp":1684074191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46423-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672630","9783540464235"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-46423-9_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}