{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:42:11Z","timestamp":1725486131389},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429357"},{"type":"electronic","value":"9783540456353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45635-x_15","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T21:27:34Z","timestamp":1181165254000},"page":"105-119","source":"Crossref","is-referenced-by-count":4,"title":["Practical Aspects for a Working Compile Time Garbage Collection System for Mercury"],"prefix":"10.1007","author":[{"given":"Nancy","family":"Mazur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Ross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerda","family":"Janssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,11,13]]},"reference":[{"key":"15_CR1","first-page":"51","volume-title":"Proceedings of the International Symposium on Logic Programming","author":"Y. Bekkers","year":"1995","unstructured":"Y. Bekkers and P. Tarau. Monadic constructs for logic programming. In J. Lloyd, editor, Proceedings of the International Symposium on Logic Programming, pages 51\u201365, Cambridge, Dec. 4\u20137 1995. MIT Press."},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(2):91\u2013124, Feb. 1991.","journal-title":"Journal of Logic Programming"},{"key":"15_CR3","first-page":"33","volume-title":"Proceedings of the Fourteenth International Conference on Logic Programming (ICLP\u201997)","author":"M. Bruynooghe","year":"1997","unstructured":"M. Bruynooghe, G. Janssens, and A. 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."},{"key":"15_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-61055-3_32","volume-title":"European Symposium on Programming","author":"F. Bueno","year":"1996","unstructured":"F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Global Analysis of Standard Prolog Programs. In European Symposium on Programming, number 1058 in LNCS, pages 108\u2013124, Sweden, April 1996. Springer-Verlag."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"F. Bueno, M. Garc\u00eda de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, and P. J. Stuckey. A model for inter-module analysis and optimizing compilation. In Tenth International Workshop on Logic-based Program Synthesis and Transformation, London, UK, 2000. to appear.","DOI":"10.1007\/3-540-45142-0_6"},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/ narrowing approaches to abstract interpretation. In M. Bruynooghe and M. Wirsing, editors, Proceedings of the Fourth International Symposium on Programming Language Implementation and Logic Programming, pages 269\u2013295, Leuven, Belgium, 1992. LNCS 631, Springer-Verlag."},{"key":"15_CR7","unstructured":"S. K. Debray. On copy avoidance in single assignment languages. In D. S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 393\u2013407, Budapest, Hungary, 1993. The MIT Press."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"B. Demoen, M. Garc\u00eda de la Banda, W. Harvey, K. Marriott, and P. J. 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":"15_CR9","doi-asserted-by":"crossref","unstructured":"T. Dowd, Z. Somogyi, F. Henderson, T. Conway, and D. Jeffery. Run Time Type Information in Mercury. In Principles and Practice of Declarative Programming, pages 224\u2013243, 1999.","DOI":"10.1007\/10704567_14"},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1145\/319301.319309","volume":"21","author":"G. Gudj\u00f3nsson","year":"1999","unstructured":"G. Gudj\u00f3nsson and W. H. Winsborough. Compile-time memory reuse in logic programming languages through update in place. ACM Transactions on Programming Languages and Systems, 21(3):430\u2013501, May 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR11","unstructured":"F. Henderson, T. Conway, Z. Somogyi, and D. Jeffery. The Mercury language reference manual. Technical Report 96\/10, Dept. of Computer Science, University of Melbourne, February 1996."},{"key":"15_CR12","first-page":"52","volume-title":"1999 International Conference on Logic Programming","author":"M. Hermenegildo","year":"1999","unstructured":"M. Hermenegildo, F. Bueno, G. Puebla, and P. L\u00f3pez. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In D. D. Schreye, editor, 1999 International Conference on Logic Programming, pages 52\u201366, Cambridge, MA, December 1999. MIT Press."},{"key":"15_CR13","first-page":"18","volume-title":"Proceedings of the 14th International Conference on Logic Programming","author":"A. K\u00e5gedal","year":"1997","unstructured":"A. K\u00e5gedal and S. Debray. A practical approach to structure reuse of arrays in single assignment languages. In L. Naish, editor, Proceedings of the 14th International Conference on Logic Programming, pages 18\u201332, Cambridge, July 8\u201311 1997. MIT Press."},{"key":"15_CR14","first-page":"1490","volume-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming","author":"F. Klu\u017aniak","year":"1988","unstructured":"F. Klu\u017aniak. Compile-time garbage collection for ground Prolog. In R. A. Kowalski and K. A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1490\u20131505, Seattle, 1988. MIT Press, Cambridge."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"N. Mazur, G. Janssens, and M. Bruynooghe. A module based analysis for memory reuse in Mercury. In J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K.-K. Lau, C. Palamidessi, L. Moniz Pereira, Y. Sagiv, and P. J. Stuckey, editors, Computational Logic-CL 2000, First International Conference, London, UK, July 2000, Proceedings, volume 1861 of Lecture Notes in Artificial Intelligence, pages 1255\u20131269. Springer-Verlag, 2000.","DOI":"10.1007\/3-540-44957-4_84"},{"key":"15_CR16","unstructured":"M. Mohnen. Optimising the Memory Management of Higher-Order Functional Programs. Technical Report AIB-97-13, RWTHAac hen, 1997. PhD Thesis."},{"key":"15_CR17","unstructured":"G. Morrisett and J. Reppy. The third annual ICFP programming contest. In Conjunction with the 2000 International Conference on Functional Programming, http:\/\/www.cs.cornell.edu\/icfp\/ , 2000."},{"issue":"2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/174662.174664","volume":"16","author":"A. Mulkers","year":"1994","unstructured":"A. Mulkers, W. Winsborough, and M. Bruynooghe. Live-structure dataow analysis for Prolog. ACM Transactions on Programming Languages and Systems, 16(2):205\u2013258, Mar. 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1\u20133","key":"15_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. The Journal of Logic Programming, 29(1\u20133):17\u201364, October-December 1996.","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"15_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, 1997.","journal-title":"Information and Computation"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"P. Wadler. The essence of functional programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACTSymp osium on Principles of Programming Languages, pages 1\u201314, Albequerque, New Mexico, Jan. 1992.","DOI":"10.1145\/143165.143169"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45635-X_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:41:38Z","timestamp":1556466098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45635-X_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429357","9783540456353"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45635-x_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}