{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:59:40Z","timestamp":1758272380858},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175107"},{"type":"electronic","value":"9783642175114"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17511-4_6","type":"book-chapter","created":{"date-parts":[[2010,12,7]],"date-time":"2010-12-07T06:24:40Z","timestamp":1291703080000},"page":"82-102","source":"Crossref","is-referenced-by-count":4,"title":["Verifying Pointer and String Analyses with Region Type Systems"],"prefix":"10.1007","author":[{"given":"Lennart","family":"Beringer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Grabowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hofmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1145\/178243.178264","volume-title":"1994 Conference on Programming Language Design and Implementation (PLDI 1994)","author":"M. Emami","year":"1994","unstructured":"Emami, M., Ghiya, R., Hendren, L.J.: Context-sensitive interprocedural points-to analysis in the presence of function pointers. In: 1994 Conference on Programming Language Design and Implementation (PLDI 1994), pp. 242\u2013256. ACM, New York (1994)"},{"key":"6_CR2","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (1994)"},{"key":"6_CR3","first-page":"32","volume-title":"23rd Symposium on Principles of Programming Languages (POPL 1996)","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: 23rd Symposium on Principles of Programming Languages (POPL 1996), pp. 32\u201341. ACM, New York (1996)"},{"key":"6_CR4","volume-title":"2003 Conference on Programming Language Design and Implementation (PLDI 2003)","author":"M. Berndl","year":"2003","unstructured":"Berndl, M., Lhot\u00e1k, O., Qian, F., Hendren, L., Umanee, N.: Points-to analysis using BDDs. In: 2003 Conference on Programming Language Design and Implementation (PLDI 2003). ACM, New York (2003)"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1145\/1640089.1640108","volume-title":"24th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009)","author":"M. Bravenboer","year":"2009","unstructured":"Bravenboer, M., Smaragdakis, Y.: Strictly declarative specification of sophisticated points-to analyses. In: 24th Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2009), pp. 243\u2013262. ACM, New York (2009)"},{"key":"6_CR6","volume-title":"1999 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)","author":"A. Igarashi","year":"1999","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: 1999 Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999). ACM, New York (1999)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-36579-6_10","volume-title":"Compiler Construction","author":"B.G. Ryder","year":"2003","unstructured":"Ryder, B.G.: Dimensions of precision in reference analysis of object-oriented programming languages. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 126\u2013137. Springer, Heidelberg (2003)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_1","volume-title":"Static Analysis","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Precise analysis of string expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694. Springer, Heidelberg (2003)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.entcs.2005.02.033","volume":"141","author":"P. Cr\u00e9gut","year":"2005","unstructured":"Cr\u00e9gut, P., Alvarado, C.: Improving the Security of Downloadable Java Applications With Static Analysis. Electronic Notes in Theoretical Computer Science\u00a0141(1), 129\u2013144 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR10","unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages, or Taming Lambda. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA, Technical Report CMU-CS-91-145 (1991)"},{"issue":"1","key":"6_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0960129502003845","volume":"13","author":"A. Banerjee","year":"2003","unstructured":"Banerjee, A., Jensen, T.: Modular control-flow analysis with rank 2 intersection types. Mathematical Structures in Computer Science\u00a013(1), 87\u2013124 (2003)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1145\/1594834.1480911","volume":"44","author":"B. Hardekopf","year":"2009","unstructured":"Hardekopf, B., Lin, C.: Semi-sparse flow-sensitive pointer analysis. SIGPLAN Not.\u00a044(1), 226\u2013238 (2009)","journal-title":"SIGPLAN Not."},{"key":"6_CR13","first-page":"47","volume-title":"15th Symposium on Principles of Programming Languages (POPL 1988)","author":"J.M. Lucassen","year":"1988","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: 15th Symposium on Principles of Programming Languages (POPL 1988), pp. 47\u201357. ACM, New York (1988)"},{"key":"6_CR14","volume-title":"Principles and Practice of Decl. Prog. (PPDP 2007)","author":"N. Benton","year":"2007","unstructured":"Benton, N., Kennedy, A., Beringer, L., Hofmann, M.: Relational semantics for effect-based program transformations with dynamic allocation. In: Principles and Practice of Decl. Prog. (PPDP 2007). ACM, New York (2007)"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.P.: Region-based memory management. Information and Computation\u00a0132(2), 109\u2013176 (1997)","journal-title":"Information and Computation"},{"key":"6_CR16","first-page":"262","volume-title":"26th Symposium on Principles of Programming Languages (POPL 1999)","author":"K. Crary","year":"1999","unstructured":"Crary, K., Walker, D., Morrisett, G.: Typed memory management in a calculus of capabilities. In: 26th Symposium on Principles of Programming Languages (POPL 1999), pp. 262\u2013275. ACM, New York (1999)"},{"key":"6_CR17","first-page":"1","volume-title":"2002 Conference on Programming Language Design and Implementation (PLDI 2002)","author":"J.S. Foster","year":"2002","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-sensitive type qualifiers. In: 2002 Conference on Programming Language Design and Implementation (PLDI 2002), pp. 1\u201312. ACM, New York (2002)"},{"key":"6_CR18","unstructured":"Lhot\u00e1k, O.: Program Analysis using Binary Decision Diagrams. PhD thesis, McGill University (January 2006)"},{"key":"6_CR19","unstructured":"Lenherr, T.: Taxonomy and Applications of Alias Analysis. Master\u2019s thesis, ETH Z\u00fcrich (2008)"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11693024_3","volume-title":"Programming Languages and Systems","author":"M. Hofmann","year":"2006","unstructured":"Hofmann, M., Jost, S.: Type-based amortised heap-space analysis. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 22\u201337. Springer, Heidelberg (2006)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Beringer, L., Grabowski, R., Hofmann, M.: Verifying Pointer and String Analyses with Region Type Systems: Soundness proofs and other material (2010), http:\/\/www.tcs.ifi.lmu.de\/~grabow\/regions","DOI":"10.1007\/978-3-642-17511-4_6"},{"key":"6_CR22","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"6_CR23","volume-title":"Program Flow Analysis: Theory and Applications","author":"M. Sharir","year":"1981","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. In: Muchnick, S.S., Jones, N.D. (eds.) Program Flow Analysis: Theory and Applications. Prentice Hall International, Englewood Cliffs (1981)"},{"issue":"1","key":"6_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A. Milanova","year":"2005","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized object sensitivity for points-to analysis for Java. ACM Trans. Softw. Eng. Methodol.\u00a014(1), 1\u201341 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"6","key":"6_CR25","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/996893.996859","volume":"39","author":"J. Whaley","year":"2004","unstructured":"Whaley, J., Lam, M.S.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. SIGPLAN Not.\u00a039(6), 131\u2013144 (2004)","journal-title":"SIGPLAN Not."},{"key":"6_CR26","volume-title":"5th Workshop on Program Analysis for Software Tools and Engineering (PASTE 2004)","author":"E.M. Nystrom","year":"2004","unstructured":"Nystrom, E.M., Kim, H.S., Hwu, W.W.: Importance of heap specialization in pointer analysis. In: 5th Workshop on Program Analysis for Software Tools and Engineering (PASTE 2004). ACM, New York (2004)"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1542476.1542486","volume-title":"2009 Conference on Programming Language Design and Implementation (PLDI 2009)","author":"O. Tripp","year":"2009","unstructured":"Tripp, O., Pistoia, M., Fink, S.J., Sridharan, M., Weisman, O.: Taj: effective taint analysis of web applications. In: 2009 Conference on Programming Language Design and Implementation (PLDI 2009), pp. 87\u201397. ACM, New York (2009)"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-92188-2_2","volume-title":"Formal Methods for Components and Objects","author":"L. Beringer","year":"2008","unstructured":"Beringer, L., Hofmann, M., Pavlova, M.: Certification Using the Mobius Base Logic. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 25\u201351. Springer, Heidelberg (2008)"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-71316-6_10","volume-title":"Programming Languages and Systems","author":"G. Barthe","year":"2007","unstructured":"Barthe, G., Pichardie, D., Rezk, T.: A certified lightweight non-interference Java bytecode verifier. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 125\u2013140. Springer, Heidelberg (2007)"},{"key":"6_CR30","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/277650.277670","volume-title":"1998 Conference on Programming Language Design and Implementation (PLDI 1998)","author":"A. Diwan","year":"1998","unstructured":"Diwan, A., McKinley, K.S., Moss, J.E.B.: Type-based alias analysis. In: 1998 Conference on Programming Language Design and Implementation (PLDI 1998), pp. 106\u2013117. ACM, New York (1998)"},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1016\/S0031-2023(97)00122-2","volume":"31","author":"S. Loncaric","year":"1998","unstructured":"Loncaric, S.: A survey of shape analysis techniques. Pattern Recognition\u00a031, 983\u20131001 (1998)","journal-title":"Pattern Recognition"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17511-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T11:31:51Z","timestamp":1685878311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17511-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175107","9783642175114"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17511-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}