Heap garbage collection in XSB: Practice and experience

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1753, Issue , 2000, Pages 93-108

  Demoen, Bart ^a   Sagonas, Konstantinos ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LOGIC PROGRAMMING; REFUSE COLLECTION;

ABSTRACT MACHINES; GARBAGE COLLECTION; GARBAGE COLLECTORS; IMPLEMENTATION MODELS; LOGIC PROGRAMMING SYSTEMS; PAPER DOCUMENTS; PRACTICE AND EXPERIENCE; PROLOG SYSTEMS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84937220186     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46584-7_7     Document Type: Conference Paper

References (19)

1. K. Appleby, M. Carlsson, S. Haridi, and D. Sahlin. Garbage collection for Prolog based on WAM. Communications of the ACM, 31(6):719-741, June 1988.
2. Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic memory management for sequential logic programming languages. In IWMM’92: International Workshop on Memory Management, number 637 in LNCS, pages 82-102, Sept. 1992. Springer.
3. 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-101, Madrid, Spain, Sept. 1994. Springer-Verlag.
4. M. Carlsson. Design and Implementation of an Or-Parallel Prolog Engine. PhD thesis, The Royal Institute of Technology (KTH), Stokholm, Sweden, Mar. 1990.
5. C. J. Cheney. A nonrecursive list compacting algorithm. Communications of the ACM, 13(11):677-678, Nov. 1970.
6. 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-386, Philadelphia, Feb. 1996. ACM Press.
7. 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-35, Pisa, Italy, Sept. 1998. Springer.
8. B. Demoen and K. Sagonas. Memory management for Prolog with tabling. In Proceedings of ISMM’98: ACM SIGPLAN International Symposium on Memory Management, pages 97-106, Vancouver, B.C., Canada, Oct. 1998. ACM Press.
9. 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-121, San Antonio, Texas, Jan. 1999. Springer.
10. M. S. Johnstone and P. R. Wilson. The memory fragmentation problem: Solved? In Proceedings of ISMM’98: ACM SIGPLAN International Symposium on Memory Management, pages 26-36, Vancouver, B.C., Canada, Oct. 1998. ACM Press.
11. [11] F. L. Morris. A time-and space-efficient garbage compaction algorithm. Communications of the ACM, 21(8):662-665, Aug. 1978.
12. [12] 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-198, 1985.
13. [13] 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-54, 1999.
14. [14] 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-634, May 1998.
15. [15] K. Sagonas, T. Swift, and D. S. Warren. An abstract machine for computing the well-founded semantics. In Proceedings of JICSLP’96, pages 274-288, Sept. 1996.
16. P.M. Sansom. Combining copying and compacting garbage collection or Dual-mode garbage collection. In Functional Programming, Glasgow, Aug. 1991. Springer.
17. [17] J. Schimpf. Garbage collection for Prolog based on twin cells. In Proceedings of the 1990 NACLP Implementation Workshop, pages 16-25, Austin, Texas, 1990.
18. H. Touati and T. Hama. A light-weight Prolog garbage collector. In Proceedings of FGCS’88, pages 922-930, Tokyo, Japan, Nov./Dec. 1988. OHMSHA and Springer.
19. [19] D. H. D. Warren. An abstract Prolog instruction set. Technical Report 309, SRI International, Menlo Park, U.S.A., Oct. 1983.