{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:51Z","timestamp":1725511851336},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712282"},{"type":"electronic","value":"9783540712299"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71229-9_12","type":"book-chapter","created":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T17:39:13Z","timestamp":1183311553000},"page":"172-186","source":"Crossref","is-referenced-by-count":10,"title":["A Practical Escape and Effect Analysis for Building Lightweight Method Summaries"],"prefix":"10.1007","author":[{"given":"Sigmund","family":"Cherem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radu","family":"Rugina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: Proceedings of the Symposium on the Principles of Programming Languages (1988)","DOI":"10.1145\/73560.73564"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Jones, N., Muchnick, S.: Flow analysis and optimization of Lisp-like structures. In: Conference Record of the Symposium on the Principles of Programming Languages, San Antonio, TX (January 1979)","DOI":"10.1145\/567752.567776"},{"key":"12_CR3","unstructured":"Vallee-Rai, R., et al.: Soot - a Java optimization framework. In: CASCON \u201999, Toronto, CA (November 1999)"},{"key":"12_CR4","unstructured":"Uniejewski, J.: SPEC Benchmark Suite: Designed for today\u2019s advanced systems. SPEC Newsletter 1(1) (1989)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Cherem, S., Rugina, R.: Compile-time deallocation of individual objects. In: Proceedings of the International Symposium on Memory Management, Ottawa, Canada (June 2006)","DOI":"10.1145\/1133956.1133975"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L. Burdy","year":"2005","unstructured":"Burdy, L., et al.: An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer\u00a07(3), 212\u2013232 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Application, Seattle, WA (November 2002)","DOI":"10.1145\/582419.582448"},{"issue":"6","key":"12_CR8","doi-asserted-by":"publisher","first-page":"876","DOI":"10.1145\/945885.945892","volume":"25","author":"J.-D. Choi","year":"2003","unstructured":"Choi, J.-D., et al.: Stack allocation and synchronization optimizations for java using escape analysis. ACM Trans. Program. Lang. Syst.\u00a025(6), 876\u2013910 (2003), doi:10.1145\/945885.945892","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for Java programs. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO (November 1999)","DOI":"10.1145\/320384.320400"},{"issue":"6","key":"12_CR10","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1145\/945885.945886","volume":"25","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B.: Escape analysis for Java: Theory and practice. ACM Transactions on Programming Languages and Systems\u00a025(6), 713\u2013775 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46423-9_6","volume-title":"Compiler Construction","author":"D.M. Gay","year":"2000","unstructured":"Gay, D.M., Steensgaard, B.: Fast Escape Analysis and Stack Allocation for Object-Based Programs. In: Watt, D.A. (ed.) CC 2000 and ETAPS 2000. LNCS, vol.\u00a01781, Springer, Heidelberg (2000)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Bogda, J., Hoelzle, U.: Removing unnecessary synchronization in Java. In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO (November 1999)","DOI":"10.1145\/320384.320388"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Ruf, E.: Effective synchronization removal for Java. In: Proceedings of the Conference on Program Language Design and Implementation, Vancouver, Canada (June 2000)","DOI":"10.1145\/349299.349327"},{"key":"12_CR14","unstructured":"O\u2019Callahan, R.: Generalized Aliasing as a Basis for Program Analysis Tools. PhD thesis, School of Computer Science, Carnegie Mellon Univ. (2001)"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Cherem, S., Rugina, R.: Region analysis and transformation for Java programs. In: Proceedings of the International Symposium on Memory Managemen, Vancouver, Canada (October 2004)","DOI":"10.1145\/1029873.1029884"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Whaley, J., Lam, M.: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In: Proceedings of the Conference on Program Language Design and Implementation, Washington, DC (June 2004)","DOI":"10.1145\/996841.996859"},{"issue":"1","key":"12_CR17","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.: Parameterized object sensitivity for points-to analysis for Java. ACM Transactions Softw. Eng. Methodol.\u00a014(1), 1\u201341 (2005)","journal-title":"ACM Transactions Softw. Eng. Methodol."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Sridharan, M.: Refinement-based context-sensitive points-to analysis for java. In: Proceedings of the Conference on Program Language Design and Implementation, Ottawa, Canada (June 2006)","DOI":"10.1145\/1133981.1134027"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Wilson, R., Lam, M.: Efficient context-sensitive pointer analysis for C programs. In: Proceedings of the Conference on Program Language Design and Implementation (1995)","DOI":"10.1145\/207110.207111"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48166-4_13","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"D. Liang","year":"1999","unstructured":"Liang, D., Harrold, M.J.: Efficient Points-to Analysis for Whole-Program Analysis. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, Springer, Heidelberg (1999)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Rehof, J., Das, M.: Scalable context-sensitive flow analysis using instantiation constraints. In: Proceedings of the Conference on Program Language Design and Implementation, Vancouver, Canada (2000)","DOI":"10.1145\/349299.349332"},{"key":"12_CR22","unstructured":"Lattner, C., Adve, V.: Data Structure Analysis: An Efficient Context-Sensitive Heap Analysis. Tech. Report UIUCDCS-R-2003-2340, Computer Science Dept., Univ. of Illinois at Urbana-Champaign (2003)"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","first-page":"199","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M. Rinard","year":"2005","unstructured":"Rinard, M., S\u0103lcianu, A.: Purity and Side Effect Analysis for Java Programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 199\u2013215. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71229-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:17:04Z","timestamp":1605763024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71229-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712282","9783540712299"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71229-9_12","relation":{},"subject":[]}}