{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:50Z","timestamp":1725490250776},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_22","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"317-332","source":"Crossref","is-referenced-by-count":1,"title":["Static Region Analysis for Mercury"],"prefix":"10.1007","author":[{"given":"Quan","family":"Phan","sequence":"first","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/207110.207137","volume-title":"Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation","author":"A. Aiken","year":"1995","unstructured":"Aiken, A., F\u00e4hndrich, M., Levien, R.: Better static memory management: Improving region-based analysis of higher-order languages. In: Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation, pp. 174\u2013185. ACM Press, New York (1995)"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/1029873.1029884","volume-title":"Proceedings of the 4th International Symposium on Memory Management","author":"S. Cherem","year":"2004","unstructured":"Cherem, S., Rugina, R.: Region analysis and transformation for Java programs. In: Proceedings of the 4th International Symposium on Memory Management, pp. 85\u201396. ACM Press, New York (2004)"},{"key":"22_CR3","first-page":"282","volume-title":"Proceedings of the ACM Conference on Programming Language Design and Implementation","author":"D. Grossman","year":"2002","unstructured":"Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in Cyclone. In: Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 282\u2013293. ACM Press, New York (2002)"},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/773184.773203","volume-title":"Principles and Practice of Declarative Programming","author":"F. Henglein","year":"2001","unstructured":"Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: Principles and Practice of Declarative Programming, pp. 175\u2013186. ACM Press, New York (2001)"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/362422.362434","volume-title":"Proceedings of the 2nd International Symposium on Memory Management","author":"H. Makholm","year":"2000","unstructured":"Makholm, H.: A region-based memory manager for Prolog. In: Proceedings of the 2nd International Symposium on Memory Management, pp. 25\u201334. ACM Press, New York (2000)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Makholm, H.: Region-based memory management in Prolog. Master\u2019s thesis, University of Copenhagen (2000)","DOI":"10.1145\/362422.362434"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, Springer, Heidelberg (2002)"},{"key":"22_CR8","unstructured":"Mazur, N.: Compile-time garbage collection for the declarative language Mercury. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven (May 2004)"},{"key":"22_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1255","DOI":"10.1007\/3-540-44957-4_84","volume-title":"Computational Logic - CL 2000","author":"N. Mazur","year":"2000","unstructured":"Mazur, N., Janssens, G., Bruynooghe, M.: A module based analysis for memory reuse in Mercury. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1255\u20131269. Springer, Heidelberg (2000)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/3-540-45635-X_15","volume-title":"Logic Programming","author":"N. Mazur","year":"2001","unstructured":"Mazur, N., Ross, P., Janssens, G., Bruynooghe, M.: Practical aspects for a working compile time garbage collection system for Mercury. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 105\u2013119. Springer, Heidelberg (2001)"},{"key":"22_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03811-6","volume-title":"The Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: The Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Phan, Q., Janssens, G.: Towards region-based memory management for Mercury programs. In: CICLOPS (2006)","DOI":"10.1007\/11799573_37"},{"key":"22_CR13","unstructured":"Phan, Q., Janssens, G.: A proposal for runtime region support for Mercury programs. Technical Report CW482, Department of Computer Science, Katholieke Universiteit Leuven (2007)"},{"issue":"1-3","key":"22_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury, an efficient purely declarative logic programming language. The Journal of Logic Programming\u00a029(1-3), 17\u201364 (1996)","journal-title":"The Journal of Logic Programming"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/B:LISP.0000029446.78563.a4","volume":"17","author":"M. Tofte","year":"2004","unstructured":"Tofte, M., Birkedal, L., Elsman, M., Hallenberg, N.: A retrospective on region-based memory management. Higher-Order and Symbolic Computation\u00a017, 245\u2013265 (2004)","journal-title":"Higher-Order and Symbolic Computation"},{"issue":"2","key":"22_CR16","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":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:09Z","timestamp":1619519409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_22","relation":{},"subject":[]}}