{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:48Z","timestamp":1725494868105},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403258"},{"type":"electronic","value":"9783540448983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44898-5_5","type":"book-chapter","created":{"date-parts":[[2007,11,10]],"date-time":"2007-11-10T22:21:25Z","timestamp":1194733285000},"page":"73-90","source":"Crossref","is-referenced-by-count":0,"title":["Message Analysis for Concurrent Languages"],"prefix":"10.1007","author":[{"given":"Richard","family":"Carlsson","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[]},{"given":"Jesper","family":"Wilhelmsson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"5_CR1","unstructured":"J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"G. Back, W. C. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation, Oct. 2000. http:\/\/www.cs.utah.edu\/flux\/papers\/.","DOI":"10.21236\/ADA440101"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"B. Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In Conference Record of the 25th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL\u201998), pages 25\u201337. ACM Press, Jan. 1998.","DOI":"10.1145\/268946.268949"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"B. Blanchet. Escape analysis for object oriented languages. Application to Java\u2122. In Proceedings of the 14th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA\u201999), pages 20\u201334. ACM Press, Nov. 1999.","DOI":"10.1145\/320384.320387"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"J. Bogda and U. H\u00f6lzle. Removing unnecessary synchronization in Java. In Proceedings of the 14th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA\u201999), Nov. 1999.","DOI":"10.1145\/320384.320388"},{"key":"5_CR6","unstructured":"R. Carlsson. An introduction to Core Erlang. In Proceedings of the PLI\u201901 Erlang Workshop, Sept. 2001."},{"key":"5_CR7","unstructured":"R. Carlsson, B. Gustavsson, E. Johansson, T. Lindgren, S.-O. Nystr\u00f6m, M. Pettersson, and R. Virding. Core Erlang 1.0 language specification. Technical Report 030, Information Technology Department, Uppsala University, Nov. 2000."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"J.-D. Choi, M. Gupta, M. Serrano, V. C. Shreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of the 14th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA\u201999), pages 1\u201319. ACM Press, Nov. 1999.","DOI":"10.1145\/320384.320386"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"A. Deutsch. On the complexity of escape analysis. In Conference Record of the 24th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 358\u2013371, Jan. 1997.","DOI":"10.1145\/263699.263750"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"D. Doligez and X. Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Conference Record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 113\u2013123. ACM Press, Jan. 1993.","DOI":"10.1145\/158511.158611"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"T. Domani, G. Goldshtein, E. Kolodner, E. Lewis, E. Petrank, and D. Sheinwald. Threadlocal heaps for Java. In Proceedings of ISMM\u20192002: ACM SIGPLAN International Symposium on Memory Management, pages 76\u201387. ACM Press, June 2002.","DOI":"10.1145\/512429.512439"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"C. Flanagan, A. Sabry, B. F. Duba, and M. Felleisen. The essence of compiling with continuations. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, June 1993.","DOI":"10.1145\/155090.155113"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"E. Johansson, M. Pettersson, and K. Sagonas. HiPE: A High Performance Erlang system. In Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 32\u201343. ACM Press, Sept. 2000.","DOI":"10.1145\/351268.351273"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"E. Johansson, K. Sagonas, and J. Wilhelmsson. Heap architectures for concurrent languages using message passing. In Proceedings of ISMM 2002: ACM SIGPLAN International Symposium on Memory Management, pages 88\u201399. ACM Press, June 2002.","DOI":"10.1145\/512429.512440"},{"key":"5_CR15","unstructured":"R. E. Jones and R. Lins. Garbage Collection: Algorithms for automatic memory management. John Wiley & Sons, 1996."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Y. G. Park and B. Goldberg. Escape analysis on lists. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 116\u2013127. ACM Press, July 1992.","DOI":"10.1145\/143095.143125"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"E. Ruf. Effective synchronization removal for Java. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 208\u2013218. ACM Press, June 2000.","DOI":"10.1145\/349299.349327"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"O. Shivers. Control flow analysis in Scheme. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 164\u2013174. ACM Press, June 1988.","DOI":"10.1145\/53990.54007"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"B. Steensgaard. Thread-specific heaps for multi-threaded programs. In Proceedings of the ACM SIGPLAN International Symposium on Memory Management, pages 18\u201324. ACM Press, Oct. 2000.","DOI":"10.1145\/362422.362432"},{"issue":"2","key":"5_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109\u2013176, Feb. 1997.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44898-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T05:21:11Z","timestamp":1556947271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44898-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403258","9783540448983"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44898-5_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}