{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:43:18Z","timestamp":1754484198997},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642113185"},{"type":"electronic","value":"9783642113192"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11319-2_20","type":"book-chapter","created":{"date-parts":[[2010,1,6]],"date-time":"2010-01-06T00:00:05Z","timestamp":1262736005000},"page":"263-278","source":"Crossref","is-referenced-by-count":14,"title":["Shape Analysis in the Absence of Pointers and Structure"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Might","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-49538-X_2","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"O. Agesen","year":"1995","unstructured":"Agesen, O.: The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 2\u201326. Springer, Heidelberg (1995)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11823230_15","volume-title":"Static Analysis","author":"G. Balakrishnan","year":"2006","unstructured":"Balakrishnan, G., Reps, T.: Recency-abstraction for heap-allocated storage. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 221\u2013239. Springer, Heidelberg (2006)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/378795.378846","volume-title":"PLDI 2001: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation","author":"T. Ball","year":"2001","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.K.: Automatic predicate abstraction of c programs. In: PLDI 2001: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pp. 203\u2013213. ACM Press, New York (2001)"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/93542.93585","volume-title":"PLDI 1990: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation","author":"D.R. Chase","year":"1990","unstructured":"Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: PLDI 1990: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, pp. 296\u2013310. ACM Press, New York (1990)"},{"key":"20_CR5","first-page":"238","volume-title":"Conference Record of the Fourth ACM Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"20_CR6","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"POPL 1979: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL 1979: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"20_CR7","unstructured":"Cousot, P., Cousot, R.: Relational abstract interpretation of higher-order functional programs. In: JTASPEFL 1991, Bordeaux. BIGRE 74, pp. 33\u201336 (1991)"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/ICCL.1994.288389","volume-title":"Proceedings of the 1994 International Conference on Computer Languages","author":"P. Cousot","year":"1994","unstructured":"Cousot, P., Cousot, R.: Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and per analysis of functional languages). In: Proceedings of the 1994 International Conference on Computer Languages, pp. 95\u2013112. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1145\/1328438.1328468","volume-title":"POPL 2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"S. Gulwani","year":"2008","unstructured":"Gulwani, S., Mccloskey, B., Tiwari, A.: Lifting abstract interpreters to quantified logical domains. In: POPL 2008: Proceedings of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 235\u2013246. ACM, New York (2008)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/319838.319876","volume-title":"LFP 1986: Proceedings of the 1986 ACM Conference on LISP and Functional Programming","author":"P. Hudak","year":"1986","unstructured":"Hudak, P.: A semantic model of reference counting and its abstraction. In: LFP 1986: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, pp. 351\u2013363. ACM, New York (1986)"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/268946.268973","volume-title":"POPL 1998: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"S. Jagannathan","year":"1998","unstructured":"Jagannathan, S., Thiemann, P., Weeks, S., Wright, A.: Single and loving it: must-alias analysis for higher-order languages. In: POPL 1998: Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 329\u2013341. ACM, New York (1998)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1145\/199448.199536","volume-title":"POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"S. Jagannathan","year":"1995","unstructured":"Jagannathan, S., Weeks, S.: A unified treatment of flow analysis in higher-order languages. In: POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 393\u2013407. ACM, New York (1995)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-10843-2_10","volume-title":"Automata, Languages and Programming","author":"N.D. Jones","year":"1981","unstructured":"Jones, N.D.: Flow analysis of lambda expressions (preliminary version). In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 114\u2013128. Springer, Heidelberg (1981)"},{"issue":"1","key":"20_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-4(1:3)2008","volume":"4","author":"N.D. Jones","year":"2008","unstructured":"Jones, N.D., Bohr, N.: Call-by-value termination in the untyped lambda-calculus. Logical Methods in Computer Science\u00a04(1), 1\u201339 (2008)","journal-title":"Logical Methods in Computer Science"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-93900-9_18","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N. Kidd","year":"2009","unstructured":"Kidd, N., Reps, T., Dolby, J., Vaziri, M.: Finding concurrency-related bugs using random isolation. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol.\u00a05403, pp. 198\u2013213. Springer, Heidelberg (2009)"},{"key":"20_CR16","unstructured":"Might, M.: Environment Analysis of Higher-Order Languages. PhD thesis, Georgia Institute of Technology (June 2007)"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/1190216.1190247","volume-title":"POPL 2007: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"M. Might","year":"2007","unstructured":"Might, M.: Logic-flow analysis of higher-order programs. In: POPL 2007: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 185\u2013198. ACM Press, New York (2007)"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/1111037.1111049","volume-title":"POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"M. Might","year":"2006","unstructured":"Might, M., Shivers, O.: Environment analysis via delta-cfa. In: POPL 2006: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 127\u2013140. ACM, New York (2006)"},{"key":"20_CR19","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1159803.1159807","volume-title":"ICFP 2006: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming","author":"M. Might","year":"2006","unstructured":"Might, M., Shivers, O.: Improving flow analyses via gamma-cfa: Abstract garbage collection and counting. In: ICFP 2006: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming, pp. 13\u201325. ACM, New York (2006)"},{"issue":"1-3","key":"20_CR20","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.tcs.2006.12.031","volume":"375","author":"M. Might","year":"2007","unstructured":"Might, M., Shivers, O.: Analyzing the environment structure of higher-order languages using frame strings. Theoretical Computer Science\u00a0375(1-3), 137\u2013168 (2007)","journal-title":"Theoretical Computer Science"},{"issue":"special double","key":"20_CR21","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1017\/S0956796808006941","volume":"18","author":"M. Might","year":"2008","unstructured":"Might, M., Shivers, O.: Exploiting reachability and cardinality in higher-order flow analysis. Journal of Functional Programming\u00a018(special double issue 5-6), 821\u2013864 (2008)","journal-title":"Journal of Functional Programming"},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/263699.263745","volume-title":"POPL 1997: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"F. Nielson","year":"1997","unstructured":"Nielson, F., Nielson, H.R.: Infinitary control flow analysis: a collecting semantics for closure analysis. In: POPL 1997: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 332\u2013345. ACM, New York (1997)"},{"issue":"3","key":"20_CR23","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"M. Sagiv","year":"2002","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/3-540-62503-8_4","volume-title":"Analysis and Verification of Multiple-Agent Languages","author":"D.A. Schmidt","year":"1997","unstructured":"Schmidt, D.A.: Abstract interpretation of small-step semantics. In: Dam, M. (ed.) LOMAPS-WS 1996. LNCS, vol.\u00a01192, pp. 76\u201399. Springer, Heidelberg (1997)"},{"key":"20_CR25","unstructured":"Sestoft, P.: Analysis and efficient implementation of functional programs. PhD thesis, University of Copenhagen, Denmark (October 1991)"},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/53990.54007","volume-title":"Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation","author":"O. Shivers","year":"1988","unstructured":"Shivers, O.: Control flow analysis in Scheme. In: Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, vol.\u00a023, pp. 164\u2013174. ACM, New York (1988)"},{"key":"20_CR27","unstructured":"Shivers, O.G.: Control-Flow Analysis of Higher-Order Languages. PhD thesis, Carnegie Mellon University (1991)"},{"key":"20_CR28","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/174675.178044","volume-title":"POPL 1994: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"M. Wand","year":"1994","unstructured":"Wand, M., Steckler, P.: Selective and lightweight closure conversion. In: POPL 1994: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 435\u2013445. ACM, New York (1994)"},{"issue":"1","key":"20_CR29","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/271510.271523","volume":"20","author":"A.K. Wright","year":"1998","unstructured":"Wright, A.K., Jagannathan, S.: Polymorphic splitting: An effective polyvariant flow analysis. ACM Transactions on Programming Languages and Systems\u00a020(1), 166\u2013207 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11319-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:50:21Z","timestamp":1619769021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11319-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642113185","9783642113192"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11319-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}