{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:20:52Z","timestamp":1725484852914},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_84","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1255-1269","source":"Crossref","is-referenced-by-count":6,"title":["A Module Based Analysis for Memory Reuse in Mercury"],"prefix":"10.1007","author":[{"given":"Nancy","family":"Mazur","sequence":"first","affiliation":[]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"84_CR1","unstructured":"Yves Bekkers and Paul Tarau. Monadic constructs for logic programming. In John Lloyd, editor, Proceedings of the International Symposium on Logic Programming, pages 51\u201365, Cambridge, December 4\u20137 1995. MIT Press."},{"issue":"2","key":"84_CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"Maurice Bruynooghe","year":"1991","unstructured":"Maurice Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(2):91\u2013124, February 1991.","journal-title":"Journal of Logic Programming"},{"key":"84_CR3","doi-asserted-by":"crossref","unstructured":"Maurice Bruynooghe, Gerda Janssens, and Andreas K\u00e5gedal. Live-structure analysis for logic programming languages with declarations. In L. Naish, editor, Proceedings of the Fourteenth International Conference on Logic Programming (ICLP\u201997), pages 33\u201347, Leuven, Belgium, 1997. MIT Press.","DOI":"10.7551\/mitpress\/4299.003.0009"},{"key":"84_CR4","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Bruynooghe, M. Garc\u00eda de la Banda, and M. Hermenegildo. Exploiting goal independence in the analysis of logic programs. Journal of Logic Programming, 32(3):247\u2013261, September 1997.","DOI":"10.1016\/S0743-1066(96)00143-4"},{"key":"84_CR5","unstructured":"Saumya K. Debray. On copy avoidance in single assignment languages. In David S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 393\u2013407, Budapest, Hungary, 1993. The MIT Press."},{"key":"84_CR6","doi-asserted-by":"crossref","unstructured":"B. Demoen, M. Garc\u00eda de la Banda, W. Harvey, K. Marriott, and P. Stuckey. An overview of HAL. In Proceedings of the International Conference on Principles and Practice of Constraint Programming, pages 174\u2013188, Virginia, USA, October 1999. Springer Verlag.","DOI":"10.1007\/978-3-540-48085-3_13"},{"key":"84_CR7","unstructured":"G. Gudjonsson and W. Winsborough. Update in place: Overview of the Siva project. In D. Miller, editor, Proceedings of the International Logic Programming Symposium, pages 94\u2013113, Vancouver, Canada, 1993. The MIT Press."},{"key":"84_CR8","unstructured":"Fergus Henderson, Thomas Conway, Somogyi Zoltan, and Jeffery David. The mercury language reference manual. Technical Report 96\/10, Dept. of Computer Science, University of Melbourne, February 1996."},{"key":"84_CR9","unstructured":"M. V. Hermenegildo, F. Bueno, G. Puebla, and P. L\u00f3pez. Program analysis, debugging, and optimisation using the Ciao preprocessor. In D. De Schreye, editor, Logic programming, Proc. of the 1999 Int. Conf. on Logic Programming, pages 52\u201366, Las Cruces, NM, December 1999. MIT-Press."},{"key":"84_CR10","doi-asserted-by":"crossref","unstructured":"S. B. Jones and D. Le M\u00e9tayer. Compile-time garbage collection by sharing analysis. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture\u2019 89, Imperial College, London, pages 54\u201374, New York, NY, 1989. ACM.","DOI":"10.1145\/99370.99375"},{"key":"84_CR11","doi-asserted-by":"crossref","unstructured":"Andreas K\u00e5gedal and Saumya Debray. A practical approach to structure reuse of arrays in single assignment languages. In Lee Naish, editor, Proceedings of the 14th International Conference on Logic Programming, pages 18\u201332, Cambridge, July 8\u201311 1997. MIT Press.","DOI":"10.7551\/mitpress\/4299.003.0008"},{"key":"84_CR12","first-page":"1490","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"F. Klu\u017aniak","year":"1988","unstructured":"Feliks Klu\u017aniak. Compile-time garbage collection for ground Prolog. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1490\u20131505, Seattle, 1988. MIT Press, Cambridge."},{"key":"84_CR13","unstructured":"N. Mazur, G. Janssens, and M. Bruynooghe. Towards memory reuse for Mercury. In Proc. Int. Workshop on Implementation of Declarative Languages (IDL\u201999), Paris, September 1999."},{"key":"84_CR14","doi-asserted-by":"crossref","unstructured":"Anne Mulkers, Will Winsborough, and Maurice Bruynooghe. Live-structure dataflow analysis for Prolog. ACM Transactions on Programming Languages and Systems, 16(2):205\u2013258, March 1994.","DOI":"10.1145\/174662.174664"},{"key":"84_CR15","unstructured":"G. Puebla and H. Hermenegildo. Some issues in analysis and specialisation of modular programs. In M. Leuschel, editor, Optimisation and Implementation of Declarative Programs, (WOID\u201999), a ICLP\u201999 workshop, 1999. 17 pages."},{"key":"84_CR16","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/S0743-1066(99)00031-X","volume":"41","author":"G. Puebla","year":"1999","unstructured":"G. Puebla and M. Hermenegildo. Abstract multiple specialisation and its application to program specialisation. The Journal of Logic Programming, 41:279\u2013316, November\u2013December 1999.","journal-title":"The Journal of Logic Programming"},{"key":"84_CR17","doi-asserted-by":"crossref","unstructured":"Zoltan Somogyi, Fergus Henderson, and Thomas Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. The Journal of Logic Programming, 29(1\u20133):17\u201364, October\u2013December 1996.","DOI":"10.1016\/S0743-1066(96)00068-4"},{"key":"84_CR18","unstructured":"Simon Taylor. Optimization of Mercury programs. Honours report, Department of Computer Science, University of Melbourne, November 1998."},{"issue":"2","key":"84_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Mads Tofte and Talpin Jean-Pierre. Region-based memory management. Information and Computation, 132(2):109\u2013176, 1997.","journal-title":"Information and Computation"},{"key":"84_CR20","unstructured":"K. Ueda. Linearity analysis of concurrent logic programs. In M. Leuschel, editor, Optimisation and Implementation of Declarative Programs, (WOID\u201999), a ICLP\u201999 workshop, 1999. 14 pages."},{"key":"84_CR21","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The essence of functional programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1\u201314, Albequerque, New Mexico, January 1992.","DOI":"10.1145\/143165.143169"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_84","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T18:19:21Z","timestamp":1707934761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_84","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}