{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:23:08Z","timestamp":1725492188155},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540669920"},{"type":"electronic","value":"9783540465843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46584-7_7","type":"book-chapter","created":{"date-parts":[[2007,9,17]],"date-time":"2007-09-17T14:28:04Z","timestamp":1190039284000},"page":"93-108","source":"Crossref","is-referenced-by-count":2,"title":["Heap Garbage Collection in XSB: Practice and Experience"],"prefix":"10.1007","author":[{"given":"Bart","family":"Demoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,1,28]]},"reference":[{"issue":"6","key":"7_CR1","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1145\/62959.62968","volume":"31","author":"K. Appleby","year":"1988","unstructured":"K. Appleby, M. Carlsson, S. Haridi, and D. Sahlin. Garbage collection for Prolog based on WAM. Communications of the ACM, 31(6):719\u2013741, June 1988.","journal-title":"Communications of the ACM"},{"key":"7_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/BFb0017184","volume-title":"IWMM\u201992: International Workshop on Memory Management","author":"Y. Bekkers","year":"1992","unstructured":"Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic memory management for sequential logic programming languages. In IWMM\u201992: International Workshop on Memory Management, number 637 in LNCS, pages 82\u2013102, Sept. 1992. Springer."},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-58402-1_8","volume-title":"Proceedings of the 6th PLILP","author":"J. Bevemyr","year":"1994","unstructured":"J. Bevemyr and T. Lindgren. A simple and efficient copying garbage collector for prolog. In M. Hermenegildo and J. Penjam, editors, Proceedings of the 6th PLILP, number 844 in LNCS, pages 88\u2013101, Madrid, Spain, Sept. 1994. Springer-Verlag."},{"key":"7_CR4","unstructured":"M. Carlsson. Design and Implementation of an Or-Parallel Prolog Engine. PhD thesis, The Royal Institute of Technology (KTH), Stokholm, Sweden, Mar. 1990."},{"issue":"11","key":"7_CR5","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1145\/362790.362798","volume":"13","author":"C. J. Cheney","year":"1970","unstructured":"C. J. Cheney. A nonrecursive list compacting algorithm. Communications of the ACM, 13(11):677\u2013678, Nov. 1970.","journal-title":"Communications of the ACM"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"B. Demoen, G. Engels, and P. Tarau. Segment preserving copying garbage collection for WAM based Prolog. In Proceedings of the 1996 ACM Symposium on Applied Computing, pages 380\u2013386, Philadelphia, Feb. 1996. ACM Press.","DOI":"10.1145\/331119.331210"},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BFb0056605","volume-title":"Principles of Declarative Programming","author":"B. Demoen","year":"1998","unstructured":"B. Demoen and K. Sagonas. CAT: the Copying Approach to Tabling. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming, number 1490 in LNCS, pages 21\u201335, Pisa, Italy, Sept. 1998. Springer."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"B. Demoen and K. Sagonas. Memory management for Prolog with tabling. In Proceedings of ISMM\u201998: ACM SIGPLAN International Symposium on Memory Management, pages 97\u2013106, Vancouver, B.C., Canada, Oct. 1998. ACM Press.","DOI":"10.1145\/286860.286871"},{"key":"7_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/3-540-49201-1_8","volume-title":"Practical Aspects of Declarative Languages (PADL)","author":"B. Demoen","year":"1999","unstructured":"B. Demoen and K. Sagonas. CHAT: the Copy-Hybrid Approach to Tabling. In G. Gupta, editor, Practical Aspects of Declarative Languages (PADL), number 1551 in LNCS, pages 106\u2013121, San Antonio, Texas, Jan. 1999. Springer."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"M. S. Johnstone and P. R. Wilson. The memory fragmentation problem: Solved? In Proceedings of ISMM\u201998: ACM SIGPLAN International Symposium on Memory Management, pages 26\u201336, Vancouver, B.C., Canada, Oct. 1998. ACM Press.","DOI":"10.1145\/286860.286864"},{"issue":"8","key":"7_CR11","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1145\/359576.359583","volume":"21","author":"F. L. Morris","year":"1978","unstructured":"F. L. Morris. A time-and space-efficient garbage compaction algorithm. Communications of the ACM, 21(8):662\u2013665, Aug. 1978.","journal-title":"Communications of the ACM"},{"key":"7_CR12","unstructured":"E. Pittomvils, M. Bruynooghe, and Y. D. Willems. Towards a real time garbage collector for Prolog. In Proceedings of Symp. on Logic Progr., pages 185\u2013198, 1985."},{"issue":"1","key":"7_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0743-1066(98)10013-4","volume":"38","author":"I. V. Ramakrishnan","year":"1999","unstructured":"I. V. Ramakrishnan, P. Rao, K. Sagonas, T. Swift, and D. S. Warren. Efficient access mechanisms for tabled logic programs. J. of Logic Progr., 38(1):31\u201354, 1999.","journal-title":"J. of Logic Progr."},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"K. Sagonas and T. Swift. An abstract machine for tabled execution of fixed-order stratified logic programs. ACM Trans. Prog. Lang. Syst., 20(3):586\u2013634, May 1998.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"7_CR15","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. An abstract machine for computing the well-founded semantics. In Proceedings of JICSLP\u201996, pages 274\u2013288, Sept. 1996."},{"key":"7_CR16","unstructured":"P.M. Sansom. Combining copying and compacting garbage collection or Dual-mode garbage collection. In Functional Programming, Glasgow, Aug. 1991. Springer."},{"key":"7_CR17","unstructured":"J. Schimpf. Garbage collection for Prolog based on twin cells. In Proceedings of the 1990 NACLP Implementation Workshop, pages 16\u201325, Austin, Texas, 1990."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"H. Touati and T. Hama. A light-weight Prolog garbage collector. In Proceedings of FGCS\u201988, pages 922\u2013930, Tokyo, Japan, Nov.\/Dec. 1988. OHMSHA and Springer.","DOI":"10.21236\/ADA619775"},{"key":"7_CR19","unstructured":"D. H. D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI International, Menlo Park, U.S.A., Oct. 1983."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46584-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T22:50:36Z","timestamp":1556837436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46584-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540669920","9783540465843"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-46584-7_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}