{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:10:32Z","timestamp":1778253032146,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676683","type":"print"},{"value":"9783540450993","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-45099-3_22","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T04:05:17Z","timestamp":1294977917000},"page":"413-432","source":"Crossref","is-referenced-by-count":3,"title":["Concurrency Analysis for Java"],"prefix":"10.1007","author":[{"given":"Cristian","family":"Ungureanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suresh","family":"Jagannathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Chambers, C., Sirer, E., Eggers, S.: Static analysis for eliminating unnecessary synchronization in Java programs. In: International Static Analysis Symposium, September 1999, pp. 19\u201338 (1999)","DOI":"10.1007\/3-540-48294-6_2"},{"key":"22_CR2","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":"22_CR3","doi-asserted-by":"crossref","unstructured":"Bogda, J., Holzle, U.: Removing unnecessary synchronization in Java. In: Conference on Object-Oriented Programming Systems, Languages, and Applications, November 1999, pp. 35\u201347 (1999)","DOI":"10.1145\/320384.320388"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Bacon, D., Konru, R., Murthy, C., Serrano, M.: Thin locks: featherweight synchronization for Java. In: ACM Conference on Programming Language Design and Implementation, June 1998, pp. 258\u2013268 (1998)","DOI":"10.1145\/277650.277734"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: Escape analysis for object-oriented languages: application to Java. In: Conference on Object-Oriented Programming Systems, Languages, and Applications, November 1999, pp. 20\u201335 (1999)","DOI":"10.1145\/320384.320387"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V., Midkiff, S.: Escape analysis for Java. In: Conference on Object- Oriented Programming Systems, Languages, and Applications, November 1999, pp. 1\u201319 (1999)","DOI":"10.1145\/320384.320386"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Chow, J.-H., Harrison III, W.L.: Compile time analysis of parallel programs that share memory. In: 19th ACM Symposium on Principles of Programming Languages (January 1992)","DOI":"10.1145\/143165.143194"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Chase, D.R., Wegman, M., Zadeck, F.K.: Analysis of pointers and structures. In: ACM Conference on Programming Language Design and Implementation, June 1990, pp. 296\u2013310 (1990)","DOI":"10.1145\/93542.93585"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Deutsch, A.: On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications. In: 17th ACM Symposium on Principles of Programming Languages, January 1990, pp. 157\u2013168 (1990)","DOI":"10.1145\/96709.96725"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"DeFouw, G., Grove, D., Chambers, C.: Fast interprocedural class analysis. In: 25th ACM Symposium on Principles of Programming Languages, January 1998, pp. 222\u2013236 (1998)","DOI":"10.1145\/268946.268965"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Heintze, N.: Set-based analysis of ML programs. In: ACM International Conference on Lisp and Functional Programming, June 1994, pp. 306\u2013317 (1994)","DOI":"10.1145\/182409.182495"},{"key":"22_CR12","unstructured":"ACM Workshop on Java for High-Performance Network Computing (1998)"},{"key":"22_CR13","unstructured":"Java Grande 99. ACM (June 1999)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Jones, N., Muchnick, S.: Flow analysis and optimization of Lisplike structures. In: 6th ACM Symposium on Principles of Programming Languages, January 1979, pp. 244\u2013256 (1979)","DOI":"10.1145\/567752.567776"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Jagannathan, S., Weeks, S.T.: Analyzing stores and references in a parallel symbolic language. In: ACM International Conference on Lisp and Functional Programming, pp. 294\u2013305 (1994)","DOI":"10.1145\/182590.182493"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Jagannathan, S., Weeks, S.T.: A unified treatment of flow analysis in higher-order languages. In: 22nd ACM Symposium on Principles of Programming Languages, January 1995, pp. 393\u2013407 (1995)","DOI":"10.1145\/199448.199536"},{"key":"22_CR17","volume-title":"Mathematical Foundations of Programming Semantics","author":"N. Mercouroff","year":"1991","unstructured":"Mercouroff, N.: An algorithm for analyzing communicating processes. In: Mathematical Foundations of Programming Semantics, Springer, Heidelberg (1991)"},{"key":"22_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., Macqueen, D.B.: The Definition of Standard ML (Revised). MIT Press, Cambridge (1997)"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Plevyak, J., Chien, A.A.: Precise concrete type inference for object-oriented languages. In: Conference on Object-Oriented Programming Systems, Language, and Applications, October 1994, pp. 324\u2013340 (1994)","DOI":"10.1145\/191080.191130"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1991, pp. 146\u2013161 (1991)","DOI":"10.1145\/117954.117965"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Ruggieri, C., Murtagh, T.P.: Lifetime analysis of dynamically allocated objects. In: ACM Symposium on Principles of Programming Languages, January 1988, pp. 285\u2013293 (1988)","DOI":"10.1145\/73560.73585"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Serrano, M., Feeley, M.: Storage use analysis and its applications. In: International Conference on Functional Programming (May 1996)","DOI":"10.1145\/232627.232635"},{"key":"22_CR23","unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages or Taming Lambda. PhD thesis, School of Computer Science, Carnegie-Mellon University (1991)"},{"issue":"1","key":"22_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1996","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems\u00a020(1), 1\u201350 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Whaley, J., Rinard, M.: Compositional pointer and escape analysis for Java programs. In: Conference on Object-Oriented Programming Systems, Languages, and Applications, November 1999, pp. 187\u2013207 (1999)","DOI":"10.1145\/320384.320400"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45099-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:18:14Z","timestamp":1778249894000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45099-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676683","9783540450993"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45099-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}