{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T10:37:04Z","timestamp":1782988624073,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403258","type":"print"},{"value":"9783540448983","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44898-5_10","type":"book-chapter","created":{"date-parts":[[2007,11,11]],"date-time":"2007-11-11T03:21:25Z","timestamp":1194751285000},"page":"171-188","source":"Crossref","is-referenced-by-count":3,"title":["Inserting Safe Memory Reuse Commands into ML-Like Programs"],"prefix":"10.1007","author":[{"given":"Oukseh","family":"Lee","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongseok","family":"Yang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kwangkeun","family":"Yi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"10_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-45927-8_4","volume-title":"Proceedings of the European Symposium on Programming","author":"D. Aspinall","year":"2002","unstructured":"David Aspinall and Martin Hofmann. Another type system for in-place update. In Proceedings of the European Symposium on Programming, volume 2305 of Lecture Notes in Computer Science, pages 36\u201352, April 2002."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1017\/S0960129500070109","volume":"6","author":"E. Barendsen","year":"1995","unstructured":"Erik Barendsen and Sjaak Smetsers. Uniqueness typing for functional languages with graph rewriting semantics. Mathematical Structures in Computer Science, 6:579\u2013612, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bruno Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 25\u201337, 1998.","DOI":"10.1145\/268946.268949"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Karl Crary, David Walker, and Greg Morrisett. Typed memory management in a calculus of capabilities. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 262\u2013275, January 1999.","DOI":"10.1145\/292540.292564"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"David Gay and Alex Aiken. Language support for regions. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 70\u201380, June 2001.","DOI":"10.1145\/378795.378815"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Ovidiu Gheorghioiu, Alexandru S\u0103lcianu, and Martin Rinard. Interprocedural compatibility analysis for static object preallocation. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 273\u2013284, January 2003.","DOI":"10.1145\/640128.604154"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, and James Cheney. Region-based memory management in Cyclone. In Proceedings of the ACM Conference on Programming Language Design and Implementation, June 2002.","DOI":"10.1145\/512529.512563"},{"issue":"3\/4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF01808954","volume":"2","author":"W. L. Harrison III","year":"1989","unstructured":"Williams L. Harrison III. The interprocedural analysis and automatic parallelization of scheme programs. Lisp and Symbolic Computation, 2(3\/4):179\u2013396, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Samin Ishtiaq and Peter O\u2019Hearn. BI as an assertion language for mutable data structures. In Proceedings of the ACM Symposium on Principles of Programming Languages, January 2001.","DOI":"10.1145\/360204.375719"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi. Quasi-linear types. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 29\u201342, 1999.","DOI":"10.1145\/292540.292546"},{"key":"10_CR11","unstructured":"Oukseh Lee. A correctness proof on an algorithm to insert safe memory reuse commands. Tech. Memo. ROPAS-2003-19, Research On Program Analysis System, Korea Advanced Institute of Science and Technology, February 2003. http:\/\/ropas.kaist.ac.kr\/memo."},{"key":"10_CR12","unstructured":"Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R\u00e9my, and J\u00e9r\u00f4me Vouillon. The Objective Caml system release 3.04. Institut National de Recherche en Informatique et en Automatique, December 2001. http:\/\/caml.inria.fr."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Yosuhiko Minamide, Greg Morrisett, and Robert Harper. Typed closure conversion. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 271\u2013283, January 1996.","DOI":"10.1145\/237721.237791"},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BFb0026824","volume-title":"Proceedings of Programming Languages: Implementations, Logics and Programs","author":"M. Mohnen","year":"1995","unstructured":"Markus Mohnen. Efficient compile-time garbage collection for arbitrary data structures. In Proceedings of Programming Languages: Implementations, Logics and Programs, volume 982 of Lecture Notes in Computer Science, pages 241\u2013258. Springer-Verlag, 1995."},{"key":"10_CR15","unstructured":"nML programming language system, version 0.92a. Research On Program Analysis System, Korea Advanced Institute of Science and Technology, March 2002. http:\/\/ropas.kaist.ac.kr\/n."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Peter O\u2019Hearn, John C. Reynolds, and Hongseok Yang. Local reasoning about programs that alter data structures. In The Proceedings of Computer Science and Logic, pages 1\u201319, 2001.","DOI":"10.1007\/3-540-44802-0_1"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. Separation logic: A logic for shared mutable data structures. In Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science, July 2002.","DOI":"10.1109\/LICS.2002.1029817"},{"key":"10_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-46425-5_24","volume-title":"Proceedings of the European Symposium on Programming","author":"F. Smith","year":"2000","unstructured":"Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Proceedings of the European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 366\u2013382, March\/April 2000."},{"key":"10_CR19","unstructured":"The Standard ML of New Jersey, version 110.0.7. Bell Laboratories, Lucent Technologies, October 2000. http:\/\/cm.bell-labs.com\/cm\/cs\/what\/smlnj."},{"issue":"4","key":"10_CR20","doi-asserted-by":"publisher","first-page":"734","DOI":"10.1145\/291891.291894","volume":"20","author":"M. Tofte","year":"1998","unstructured":"Mads Tofte and Lars Birkedal. A region inference algorithm. ACM Transactions on Programming Languages and Systems, 20(4):734\u2013767, July 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR21","unstructured":"Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy H\u00f8jfeld Olesen, and Peter Sestoft. Programming with regions in the ML Kit (for version 4). IT University of Copenhagen, April 2002. http:\/\/www.it-c.dk\/research\/mlkit."},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementation of the typed call-by-value \u03bb-calculus using a stack of regions. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 188\u2013201, 1994.","DOI":"10.1145\/174675.177855"},{"issue":"2","key":"10_CR23","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Mads Tofte and Jean-Pierre Talpin. Region-based memory management. Information and Computation, 132(2):109\u2013176, 1997.","journal-title":"Information and Computation"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"David N. Turner, Philip Wadler, and Christian Mossin. Once upon a type. In International Conference on Functional Programming and Computer Architecture, pages 25\u201328, June 1995.","DOI":"10.1145\/224164.224168"},{"key":"10_CR25","unstructured":"Philip Wadler. Linear types can change the world! In Programming Concepts and Methods. North Holland, April 1990."},{"key":"10_CR26","series-title":"Lect Notes Comput Sci","first-page":"177","volume-title":"Workshop on Types in Compilation","author":"D. Walker","year":"2000","unstructured":"David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, volume 2071 of Lecture Notes in Computer Science, pages 177\u2013206, September 2000."}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T01:00:09Z","timestamp":1588035609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44898-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403258","9783540448983"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44898-5_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}