Segment order preserving copying garbage collection for wam based prolog

Proceedings of the ACM Symposium on Applied Computing

Volumn Part F128723, Issue , 1996, Pages 380-386

  Demoen, Bart ^a   Engels, Geert ^a   Tarau, Paul ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITÉ DE MONCTON   (Canada)

Author keywords

Memory management of logic programming langvages; Segment order preserving copying garbage collection; WAM based Prolog implementation

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; LOGIC PROGRAMMING; REFUSE COLLECTION;

64-BIT ARCHITECTURES; COPYING GARBAGE COLLECTOR; GARBAGE COLLECTION; GARBAGE COLLECTORS; MEMORY MANAGEMENT; ORDER PRESERVING; PRODUCTION QUALITY; PROLOG IMPLEMENTATIONS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0013156654     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/331119.331210     Document Type: Conference Paper

References (20)

1. H. Aït-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991.
2. K. Appleby, M. Cuisson, S. Haridi, and D. Sahlin. Garbage collection for Prolog based on the WAM. C ACM, 6(31), 1988.
3. Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic memory management for Sequential Logic Programming Languages. In Y. Bekkers and J. Cohen, editors, the Proceedings of WMM'9%, Rennet, pages 82-102. LNCS 637, 1992.
4. J. Bevemyr and T. Lindgren. A simple and efficient copying garbage collector for Prolog. In the Proceedings of PLILP'94 Madrid, M. Hermcnegildo, J. Pen-jam, pages 88-101. LNCS 844, 1994.
5. M. Carlsson, J. Widen, J. Andersson, K. B. S. Anders-son, H. Nilsson, and T. Sjöland. SICStus Prolog User's Manual. Technical Report T91:11B, SICS, Kista, Sweden, 1991.
6. C. J. Cheney. A nonrecuisive list compacting Algorithm. CACM, ll(13):677-678, 1970.
7. B. Demoen, G. Engels, and P. Tarau. Issues in (copying) garbage collection for (Bin)WAM. Technical Report CW-202, K.U. Leuven, 1994.
8. Int. Org. for Standardkation. ISO/IEC 13211-1:1995(E). Information technology-Programming languages Prolog-Part 1: General core. Geneva, Switzerland, 1995.
9. J. Noyé. Elagage de contexte, retour arrière superficiel, coupure et autres: une étude approfondie de la WAM. Thèse de doctorat, 1275, Université de Rennes II, 1994.
10. E. Pittomvils, M. Bruynooghe, and Y.D. Willems. Towards a real-time garbage collector for Prolog. In Proceedings of 2nd Symposium on Logic Programming, IEEE, 1985.
11. O. Ridoux. MALIv06: Tutorial and Reference Manual. Publication Interne 611, IRISA, 1991. ftp://ftp.irisa.fr/local/lande.
12. D. Sahlin. Making Garbage Collection Independent of the Amount of Garbage. SICS, 1987. Research Report SICS/R-87/87008.
13. P. Tarau. Ecological Memory Management in a Continuation Passing Prolog Engine. In Y. Bekkers and J. Cohen, editori, Memory Management International Workshop IWMIi 9t Proceedings, number 637 in Lecture Notes in Computer Science, pages 344-356. Springer, Sept. 1992.
14. P. Tarau. Language Issues and Programming Techniques in BinProlog. In D. Sacca, editor, Proceedings of the GULP"93 Conference, Gizzeria Lido, Italy, June 1993.
15. P. Tarau. BinProlog 4.00 User Guide. Technical report, Departement d'Informatique, Université de Moncton, 1995. Available by ftp from clement.info.umoncton.ca.
16. P. Tarau and U. Neumerkel. A Novel Term Compression Scheme and Data Representation in the Bin-WAM. In the Proceedings of PLILP'94, Madrid, M. Hermenegildo, J. Penjam, pages 73-87. LNCS 844, 1994.
17. H. Touati and T. Ham a. A light-weight Prolog garbage collector. In Proceedings of the International Conference on Fifth Generation Computing Systems, pages 344-356, 1988.
18. D. Warren. An Abstract Prolog Instruction Set. Technical report, SRI International, Artificial Intelligence Center, Aug. 1983.
19. P. Weemeeuw. Two Parallel Garbage Collection Algorithms for Prolog. Department of Computer Science, PhD thesis, K.U. Leuven, May 1993.
20. N.-F. Zhou. On the scheme of passing arguments in stack frames for Prolog. In Proceedings of the Eleventh International Conference on Logic Programming, pages 159-174. Santa Margherita Ligure, June 1988.