{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:38:28Z","timestamp":1725543508746},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540366355"},{"type":"electronic","value":"9783540366362"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11799573_37","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T12:25:42Z","timestamp":1154953542000},"page":"433-435","source":"Crossref","is-referenced-by-count":1,"title":["Towards Region-Based Memory Management for Mercury Programs"],"prefix":"10.1007","author":[{"given":"Quan","family":"Phan","sequence":"first","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"Aiken, A., Fahndrich, M., Levien, R.: Better static memory management: Improving region-based analysis of higher-order languages. In: PLDI (1995)","DOI":"10.1145\/207110.207137"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"Cherem, S., Rugina, R.: Region analysis and Transformation for Java. In: ISMM 2004, pp. 85\u201396 (2004)","DOI":"10.1145\/1029873.1029884"},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in Cyclone. In: PLDI 2002, pp. 282\u2013293 (2002)","DOI":"10.1145\/512529.512563"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: PPDP 2001, pp. 175\u2013186 (2001)","DOI":"10.1145\/773184.773203"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Makholm, H.: A region-based memory manager for Prolog. In: ISMM 2000, pp. 25\u201334 (2000)","DOI":"10.1145\/362422.362434"},{"key":"37_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-45619-8_12","volume-title":"Logic Programming","author":"H. Makholm","year":"2002","unstructured":"Makholm, H., Sagonas, K.: On Enabling the WAM with Region Support. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, p. 163. Springer, Heidelberg (2002)"},{"key":"37_CR7","unstructured":"Mazur, N.: Compile-time garbage collection for the declarative language Mercury. PhD thesis, Computer Science Dept., Katholieke Universiteit Leuven (May 2004)"},{"issue":"2","key":"37_CR8","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"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11799573_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:18Z","timestamp":1605643878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11799573_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366355","9783540366362"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11799573_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}