Scientific publications of Bart Demoen


Articles in international reviewed journals

  1. H. Blockeel, L. Dehaspe, B. Demoen, G. Janssens, J. Ramon, and H. Vandecasteele, Improving the efficiency of Inductive Logic Programming through the use of query packs, Journal of Artificial Intelligence Research 16 (2002), 135-166. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=36467
  2. B. Demoen, and K. Sagonas, Heap memory management in Prolog with tabling: Principles and practice, Journal of Functional and Logic Programming 2001 (2001), no. 9, 1-56. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=36272
  3. B. Demoen, and K. Sagonas, CHAT: the copy-hybrid approach to tabling, Future Generation Computer Systems 16 (2000), no. 7, 809-830. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=20788
  4. D. De Schreye, M. Bruynooghe, B. Demoen, M. Denecker, B. Martens, and G. Janssens, Project report on LP+ : a second generation logic programming language, Artificial Intelligence Communications 13 (2000), no. 1, 13-18, Special issue on AI Research in the Benelux. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=20187
  5. B. Demoen, and K. Sagonas, CAT: the copying approach to tabling, Journal of Functional and Logic Programming 1999 (1999), 1-38, Special issue: selected papers from PLILP/ALP'98. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18966
  6. H. Blockeel, L. De Raedt, N. Jacobs, and B. Demoen, Scaling up inductive logic programming by learning from interpretations, Data Mining and Knowledge Discovery 3 (1999), no. 1, 59-93. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=20779
  7. M. Codish, B. Demoen, and K. Sagonas, Semantic-based program analysis for logic-based languages using XSB, International Journal of Software Tools for Technology Transfer 2 (1998), no. 1, 29-45. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=2715
  8. P. Tarau, K. De Bosschere, and B. Demoen, On Delphi lemmas and other memoing techniques for deterministic logic programs, Journal of Logic Programming 30 (1997), no. 2, 145-164. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=1890
  9. P. Tarau, K. De Bosschere, and B. Demoen, Partial translation: towards a portable and efficient prolog implementation technology, Journal of Logic Programming 29 (1996), no. 1-3, 65-83. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=1896
  10. M. Codish, and B. Demoen, Analysing logic programs using ``prop''-ositional logic programs and a magic wand, Journal of Logic Programming 25 (1995), no. 3, 249-274. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=1887
  11. P. Weemeeuw, and B. Demoen, A fine-grained memory compaction algorithm, Journal of Parallel and Distributed Computing 20 (1994), no. 2, 176-186.
  12. B. Demoen, and R. Venken, A partial evaluation system for Prolog: theoretical and practical considerations, New Generation Computing 6 (1988), no. 2 and 3, 279-290.

Contributions at international conferences, published in proceedings

  1. R. Vandeginste, K. Sagonas, and B. Demoen, Segment order preserving and generational garbage collection for Prolog, Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Proceedings (S. Krishnamurthi and C. Ramakrishnan, eds.), Lecture Notes in Computer Science, vol. 2257, Springer, 2002, pp. 299-317. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=36268
  2. T. Schrijvers, M. García de la Banda, and B. Demoen, Trailing Analysis for HAL, Proceedings of ICLP2002 - International Conference on Logic Programming (P. Stuckey, ed.), 2002, accepted.
  3. B. Demoen, Ph. Nguyen, and R. Vandeginste, Copying garbage collection for the WAM: to mark or not to mark ?, Proceedings of ICLP2002 - International Conference on Logic Programming (P. Stuckey, ed.), 2002, accepted.
  4. B. Demoen, A different look at garbage collection for the WAM, Proceedings of ICLP2002 - International Conference on Logic Programming (P. Stuckey, ed.), 2002, accepted.
  5. R. Vandeginste, K. Sagonas, and B. Demoen, Segment order preserving and generational garbage collection for Prolog, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001) (E. Pontelli, ed.), New Mexico State University Technical Reports, vol. TR-CS-003/2001, 2001, pp. 81-95. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=36251
  6. P. Keyngnaert, B. Demoen, B. De Sutter, B. De Bus, and K. De Bosschere, Conflict graph based allocation of static objects to memory banks, Informal proceedings of the First workshop on Semantic, Program Analysis, and Computing Environments for Memory Management (F. Henglein, J. Hughes, H. Makholm and H. Niss, eds.), 2001, pp. 131-142, Program with abstracts to be found at http://www.diku.dk/topps/space2001/. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=34422
  7. P. Keyngnaert, B. Demoen, B. De Sutter, B. De Bus, and K. De Bosschere, Conflict graph based allocation of static objects to memory banks, Proceedings of SCI2001 - 5th World Multiconference on Systemics, Cybernetics and Informatics (N. Callaos and F. Tinetti, eds.), vol. XIV, International institute of informatics and systemics Orlando (Fla.), 2001, pp. 88-93. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=35104
  8. B. Demoen, and Ph. Nguyen, Argument registers or local stack for parameter passing in the WAM, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOP 2001) (E. Pontelli, ed.), New Mexico State University Technical Reports, vol. TR-CS-003/2001, 2001, pp. 49-65. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=36248
  9. B. Demoen, and Ph. Nguyen, About unnecessary performance differences between Prolog implementations, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001) (E. Pontelli, ed.), New Mexico State University Technical Reports, vol. TR-CS-003/2001, 2001, pp. 32-48. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=36255
  10. B. Demoen, M. García de la Banda, and P. Stuckey, Trying out alternatives for type class support in a new back end for HAL, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001) (E. Pontelli, ed.), New Mexico State University Technical Reports, vol. TR-CS-003/2001, 2001, pp. 15-31. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=36258
  11. H. Vandecasteele, B. Demoen, and G. Janssens, Compiling large disjunctions, First International Conference on Computational Logic : Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages (I. de Castro Dutra, E. Pontelli and V. Santos Costa, eds.), Imperial College, 2000, pp. 103-121. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=32065
  12. H. Vandecasteele, B. Demoen, and G. Janssens, A finite domain CLP solver on top of Mercury, New Trends in Constraints : Joint ERCIM/Compulog Workhsop, Paphos, Cyprus, October 1999, Selected Papers (K. R. Apt, A. C. Kakas, E. Monfroy and F. Rossi, eds.), Lecture Notes in Artificial Intelligence, vol. 1865, Springer, 2000, pp. 256-273. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=32409
  13. B. Demoen, and K. Sagonas, Heap garbage collection in XSB: Practice and experience, Practical Aspects of Declarative Languages (E. Pontelli and V. Santos Costa, eds.), LNCS, vol. 1753, 2000, pp. 93-108. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=31861
  14. B. Demoen, and Ph. Nguyen, So many WAM variations, so little time, Computational Logic - CL2000, First International Conference, London, UK, July 2000, Proceedings (J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Moniz Pereira, Y. Sagiv and P. J. Stuckey, eds.), Lecture Notes in Artificial Intelligence, vol. 1861, Springer, 2000, pp. 1240-1254. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=31667
  15. B. Demoen, Prolog and abduction 4 writing garbage collectors, Pre-Proceedings of Tenth International Workshop on Logic-based Program Syntthesis and Transformation, 2000 (K. Lau, ed.), University of Manchester, 2000, pp. 128-135, Technical Report Series, Department of Computer Science, University of Manchester, ISSN 1361-6161. Report number UMCS-00-6-1, URL : http://www.cs.man.ac.uk/cstechrep/titles00.html. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=31915
  16. B. De Sutter, K. De Bosschere, P. Keyngnaert, and B. Demoen, On the static analysis of indirect control transfers in binaries, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (H. Arabnia, ed.), vol. 2, CSREA Press, 2000, pp. 1013-1019. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=31060
  17. B. De Sutter, K. De Bosschere, B. De Bus, B. Demoen, and P. Keyngnaert, Whole-program optimization of binary executables, Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (V. Milutinovic, ed.), 2000, pp. 1-9. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=37773
  18. H. Blockeel, B. Demoen, G. Janssens, H. Vandecasteele, and W. Van Laer, Two advanced transformations for improving the efficiency of an ILP system, 10th International Conference on Inductive Logic Programming, Work-in-Progress Reports (J. Cussens and A. Frisch, eds.), 2000, pp. 43-59. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=31917
  19. H. Blockeel, L. Dehaspe, B. Demoen, G. Janssens, J. Ramon, and H. Vandecasteele, Executing query packs in ILP, Inductive Logic Programming, 10th International Conference, ILP2000, London, UK, July 2000, Proceedings (J. Cussens and A. Frisch, eds.), Lecture Notes in Artificial Intelligence, vol. 1866, Springer, 2000, pp. 60-77. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=31608
  20. B. Demoen, and K. Sagonas, Heap garbage collection in XSB: practice on experience, Practical Aspects of Declarative Languages, Proceedings of PADL'00 (E. Pontelli and V. Corta, eds.), LNCS, vol. 1753, Springer, 1999, pp. 93-108. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18765
  21. B. Demoen, and K. Sagonas, CHAT: the copying-hybrid approach to tabling, Proceedings of First International Workshop on Practical Aspects of Declarative Languages (G. Gupta, ed.), LNCS, vol. 1551, Springer, 1999, pp. 106-121. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=16477
  22. B. Demoen, and K. Sagonas, CHAT is $\theta$(SLG-WAM), Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (H. Ganzinger, D. Mc. Allester and A. Voronkov, eds.), LNCS, vol. 1705, Springer, 1999, pp. 337-357. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18892
  23. B. Demoen, G. Janssens, and H. Vandecasteele, Executing query flocks for ILP, Proceedings of the 1999 Benelux Workshop on Logic Programming (BENELOG'99) (S. Etalle, ed.), Universiteit Maastricht, Nederland, 1999, pp. 1-14. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18794
  24. B. Demoen, M. García de la Banda, and P. Stuckey, Type constraint solving for parametric and ad-hoc polymorphism, Computer Science'99, The Proceedings of the 22nd Australian Computer Science Conference (J. Edwards, ed.), Springer, 1999, pp. 217-228. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=20121
  25. B. Demoen, M. García de la Banda, W. Harvey, K. Mariott, and P. Stuckey, Herbrand constraint solving in HAL, Proceedings of the International Conference on Logic Programming (D. De Schreye, ed.), MIT Press, 1999, pp. 260-274. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18959
  26. B. Demoen, M. García de la Banda, W. Harvey, K. Mariott, and P. Stuckey, An overview of HAL, Proceedings of the International Conference on Principles and Practice of Constraint Programming (J. Jaffar, ed.), LNCS, vol. 1713, Springer, 1999, pp. 174-188. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18952
  27. B. Demoen, and K. Sagonas, Memory management for Prolog with tabling, Proceedings of the ACM SIGPLAN International Symposium on Memory Management, ACM Press, 1998, pp. 97-108, Proceedings appeared also as ACM SIGPLAN Notices, Vol. 34 (3). http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=17379
  28. B. Demoen, and K. Sagonas, CAT: the copying approach to tabling, Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98, Pisa, Italy, September 1998 (C. Palamidessi, H. Glaser and K. Meinke, eds.), LNCS, vol. 1490, Springer, 1998, pp. 21-35. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=16473
  29. B. Demoen, and K. Sagonas, A better CAT made-in-Belgium: CHAT (or KAT), Proceedings of the Benelux Workshop on Logic Programming (F. van Raamsdonk, ed.), 1998, pp. 1-12. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=15884
  30. B. Demoen, and K. Sagonas, A better CAT made-in-Belgium: CHAT (of KAT), Proceedings of Workshop on Principles of Abstract Machines (S. Diehl and P. Sestoft, eds.), Univ. des Saarlandes, 1998, pp. 1-15, Workshop associated with SAS'98 and PLILP/ALP'98. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=15880
  31. B. Demoen, M. García de la Banda, and P. Stuckey, Type constraint solving for parametric and ad-hoc polymorphism, Proceedings of Australian Workshop on Constraints (M. Maher, ed.), 1998, pp. 1-12. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18318
  32. M. Codish, B. Demoen, and K. Sagonas, XSB as the natural habitat for general Purpose program analysis, Proceedings of the Fourteenth International Conference on Logic Programming, 1997, pp. 416.
  33. B. Demoen, G. Engels, and P. Tarau, Segment preserving copying garbage collection for WAM based Prolog, Proceedings of the 1996 ACM Symposium on Applied Computing, 1996, pp. 380-386. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=17958
  34. M. Bruynooghe, B. Demoen, D. Boulanger, M. Denecker, and A. Mulkers, A freeness and sharing analysis of logic programs based on a pre-interpretation, Static Analysis, Proceedings of the Third International Symposium on Static Analysis (R. Cousot and D. Schmidt, eds.), LNCS, vol. 1445, Springer, 1996, pp. 128-142. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=16012
  35. P. Tarau, B. Demoen, and K. De Bosschere, The power of partial translation: an experiment with the C-ification of binary Prolog, Proceedings of the 1995 ACM Symposium on Applied Computing, 1995, pp. 152-176. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=18222
  36. P. Tarau, and B. Demoen, Language embedding by dual compilation and state mirroring, Proceedings of the 6th Workshop on Logic Programming Environments (ICLP'94) (A. M. Fromherz and O. Nytro, eds.), 1994, pp. 15-20.
  37. R. Moolenaar, and B. Demoen, Hybrid tree search in the Andorra model, Proceedings of International Conference on Logic Programming (P. Van Hentenryck, ed.), Proc. 11th ICLP'94, 1994, pp. 110-123.
  38. B. Demoen, and G. Maris, A comparison of some schemes for translating logic to C, Proceedings of UPMAIL (B. J. Barklund, ed.), 1994, pp. 79-91.
  39. M. Codish, and B. Demoen, Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop, Proceedings of W2 Post-Conference Workshop on Verification and Analysis of (concurrent) Logic Languages (ICLP'94) (M. F.S. de Boer, ed.), Vrije Universiteit Amsterdam, 1994, pp. 197-212.
  40. M. Codish, and B. Demoen, Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop, Proceedings of Declaritive Programming (R. M. Alpuente, ed.), Proceedings of the Joint Conference on Declaritive Programming (GULP-PRODE), 1994, pp. 327-341.
  41. M. Codish, and B. Demoen, Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop, Proceedings of Static Analysis (L. Charlier, ed.), SAS'94, LNCS Vol. 864, 1994, pp. 281-296.
  42. R. Moolenaar, and B. Demoen, A parallel implementation for AKL, Programming Language Implementation and Logic Programming (J. M. Bruynooghe, ed.), Proc. 5th Int. Symp. PLILP'93, LNCS 714, Springer-Verlag, 1993, pp. 246-261.
  43. A. Mariën, and B. Demoen, Findall without findall/3, Proceedings of the Tenth Int. Conf. on Logic Programming (D. Warren, ed.), MIT-Press, 1993, pp. 408-423.
  44. M. Codish, and B. Demoen, Analysing logic programs using propositional logic programs and a magic wand, Proceedings of the 1993 International Logic Programming Symposium (D. Miller, ed.), 1993, pp. 114-129.
  45. P. Weemeeuw, and B. Demoen, Garbage collection in Aurora: an overview, Memory Management (Y. Bekkers and J. Cohen, eds.), Lecture Notes in Computer Science, Vol. 637, SV, 1992, pp. 454-472.
  46. B. Demoen, and A. Mariën, Implementation of Prolog as binary definite programs, Proceedings of the Second Russian Conference on Logic Programming, Lecture Notes in Artificial Intelligence, Volume 592, 1992, pp. 165-176.
  47. B. Demoen, On the transformation of a Prolog program to a more efficient binary program, Proceedings of the LOPSTR'92 Workshop, Manchester, July 1992, 1992.
  48. H. Van Acker, R. Moolenaar, and B. Demoen, A parallel implementation of AKL, Proceedings of the Conference Workshop on Implementation of Parallel Logic Programming Systems (ILPS'91), 1991.
  49. R. Moolenaar, H. Van Acker, and B. Demoen, KAPPA, A Kernel Andorra Prolog Parallel Architecture Design, Proceedings of the ICLP'91 Pre-Conference Workshop on Parallel Execution of Logic Programs, 1991, pp. 54-69.
  50. A. Mariën, and B. Demoen, A new scheme for unification in WAM, Proceedings of The International Symposium on Logic Programming, San Diego, October 1991, 1991, pp. 257-271, This paper won the Excellence and Innovation in Research Award, donated at the conference by Xerox Corporation.
  51. E. Boerger, and B. Demoen, A framework to specify database update views for Prolog, Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming, Passau, 1991, pp. 147-158.
  52. P. Weemeeuw, and B. Demoen, Memory compaction for shared memory multiprocessors: design and specification, Proceedings of NACLP'90: North American Conference on Logic Programming, Austin, Texas, 1990, pp. 306-320.
  53. A. Mariën, and B. Demoen, On the management of E and B in WAM, Proceedings of NACLP'89 (North American Conference on Logic Programming, Cleveland, Ohio), 1989, pp. 1030-1047.
  54. B. Demoen, A. Mariën, and A. Callebaut, Indexing in Prolog, Proceedings of NACLP'89 (North American Conference on Logic Programming, Cleveland, Ohio), 1989, pp. 1001-1012.
  55. B. Demoen, J. Binot, K. Hanne, L. Solomon, Y. Vassiliou, W. von Hahn, and T. Wachtel, LOKI: A logic oriented approach to data and knowledge bases supporting natural language interaction, Esprit '88 Putting the Technology to Use (T. Commission of the European Communities DG XIII and P. Innovation, eds.), Proceedings of the 5th Annual ESPRIT Conference Brussels, November 14-17,1988, Elsevier Science Publishers, Amsterdam, 1989, pp. 562-577.
  56. G. Janssens, B. Demoen, and A. Mariën, Improving the register allocation of WAM by reordering unification, Logic Programming: Proceedings of the Fifth International Conference and Symposium (R. Kowalski and K. Bowen, eds.), MIT Press, Cambridge, MA, 1988, pp. 1388-1402.
  57. R. Venken, and B. Demoen, A partial evaluation system for prolog: theoretical and practical considerations, Proc. of Workshop on Partial Evaluation and Mixed Computation, 1987, pp. 11.
  58. P. Van Roy, B. Demoen, and Y. D Willems, Improving the execution speed of compiled PROLOG with modes, clause selection and determinism, TAPSOFT'87, Proc. of the Int. Joint Conf. on Theory and Practice of Software Development, Vol. 2, CFLP, Spring Verlag (LNCS), Pisa, 1987, pp. 111-125.
  59. M. Bruynooghe, G. Janssens, A. Callebaut, and B. Demoen, Abstract interpretation: towards the global optimisation of PROLOG programs, Proc. 1987 Symposium on Logic Programming, IEEE Computer Society Press, 1987, pp. 192-204.

Contributions at other conferences, published in proceedings

  1. B. Demoen, G. Engels, and P. Tarau, Rejuvenating future garbage in WAM, Proceedings of the Seventh Benelux Workshop on Logic Programming (BENELOG'95) (K. De Bosschere, ed.), 1995, pp. 42-48.

Contributions at other conferences, not published or only as abstract

  1. B. Demoen, On the impact of argument passing in the WAM and B-Prolog, Department of Computer Science and Software Engineering, University of Melbourne, Australia, November 17, 2000.
  2. B. Demoen, From (Multi-)generational to segment order copying garbage collection for the WAM, Department of Computer Science and Software Engineering, University of Melbourne, Australia, November 21, 2000.

Parts of books

  1. H. Vandecasteele, B. Demoen, and J. Van Der Auwera, The use of Mercury for the implementation of a finite domain solver, Parallelism and Implementation of Logic and Constraint Logic Programming (I. de Castro Dutra, M. Carro, V. Santos Costa, G. Gupta, E. Pontelli, and F. Silva, eds.), Nova Science Publishers, 1999, pp. 299-312. http://www.cs.kuleuven.be/cgi-bin-dtai/publ_info.pl?id=31418

Technical reports

  1. B. Demoen, Ph. Nguyen, and R. Vandeginste, Copy_term/2 and garbage collection, Report CW 329, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2002. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW329.abs.html
  2. B. Demoen, and Ph. Nguyen, Respecting the variable order in a copying garbage collector for the WAM, Report CW 334, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2002. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW334.abs.html
  3. B. Demoen, A fresh look at garbage collection for Prolog, Report CW 330, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2002. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW330.abs.html
  4. R. Vandeginste, and B. Demoen, The implementation of a new segment preserving and/or (multi-)generational copying garbage collection for a WAM and its approximation, Report CW 319, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2001. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW319.abs.html
  5. T. Schrijvers, B. Demoen, M. de la Banda, and P. Stuckey, Trailing Analysis for HAL, Report CW 327, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2001. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW327.abs.html
  6. T. Schrijvers, and B. Demoen, An improvement to PARMA variable trailing, Report CW 326, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2001. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW326.abs.html
  7. B. Demoen, and Ph. Nguyen, Odd Prolog benchmarking, Report CW 312, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2001. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW312.abs.html
  8. B. Demoen, M. García de la Banda, and P. Stuckey, Type class support for HAL in hProlog, Report CW 315, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2001. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW315.abs.html
  9. H. Vandecasteele, B. Demoen, and G. Janssens, Compiling large disjunctions, Report CW 295, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW295.abs.html
  10. K. Sagonas, and B. Demoen, From (multi-)generational to segment order preserving copying garbage collection for the WAM, Report CW 303, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW303.abs.html
  11. P. Keyngnaert, B. Demoen, B. De Sutter, and K. De Bosschere, Trace-based memory layout optimization for DPSs, Report CW 282, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW282.abs.html
  12. B. Demoen, and Ph. Nguyen, On the impact of argument passing on the performance of the WAM and B-Prolog, Report CW 300, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW300.abs.html
  13. B. Demoen, and Ph. Nguyen, Experiments in WAM emulators and term representations, Report CW 283, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW283.abs.html
  14. B. Demoen, Marking in the presence of destructive assignment is suboptimal, Report CW 302, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW302.abs.html
  15. B. Demoen, Early reset and reference counting improve variable shunting in the WAM, Report CW 298, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW298.abs.html
  16. B. Demoen, Proceedings of the first workshop on memory management in logic programming implementations, Report CW 294, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW294.abs.html
  17. B. Demoen, Prolog and abduction 4 writing garbage collectors, Report CW 289, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW289.abs.html
  18. H. Blockeel, B. Demoen, G. Janssens, H. Vandecasteele, and W. Van Laer, Two advanced transformations for improving the efficiency of an ILP system, Report CW 293, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW293.abs.html
  19. H. Blockeel, L. Dehaspe, B. Demoen, G. Janssens, J. Ramon, and H. Vandecasteele, Executing query packs in ILP , Report CW 287, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW287.abs.html
  20. H. Blockeel, L. De Raedt, N. Jacobs, and B. Demoen, Scaling up inductive logic programming by learning from interpretations, Report CW 297, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2000. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW297.abs.html
  21. B. Demoen, G. Janssens, and H. Vandecasteele, Executing query flocks for ILP, Report CW 280, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1999. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW280.abs.html
  22. B. Demoen, and K. Sagonas, Experiences with building garbage collectors for XSB-CHAT, Report CW 272, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1998. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW272.abs.html
  23. B. Demoen, and K. Sagonas, CHAT is Theta (SLGWAM), Report CW 269, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1998. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW269.abs.html
  24. B. Demoen, and K. Sagonas, A better CAT made-in-Belgium: KAT or CHAT, Report CW 268, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1998. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW268.abs.html
  25. B. Demoen, and K. Sagonas, Memory management for Prolog with tabling, Report CW 261, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1998. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW261.abs.html
  26. B. Demoen, and K. Sagonas, CAT: the copying approach to tabling, Report CW 262, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1998. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW262.abs.html
  27. B. Demoen, M. García de la Banda, K. Mariott, P. Schachte, and P. Stuckey, Global variables in HAL, a logic implementation, Report CW 271, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1998. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW271.abs.html
  28. B. Demoen, M. García de la Banda, W. Harvey, K. Mariott, P. Schachte, and P. Stuckey, Compiling the HAL variable to Mercury, Report CW 273, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 1998. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW273.abs.html
  29. B. Demoen, and G. Janssens, Proceedings of the seventh international workshop on logic program synthesis and transformation, Report CW 253, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 1997. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW253.abs.html
  30. M. Codish, B. Demoen, and K. Sagonas, XSB as the natural habitat for general purpose program analysis, Report CW 245, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1996. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW245.abs.html
  31. M. Bruynooghe, B. Demoen, D. Boulanger, M. Denecker, and A. Mulkers, A freeness and sharing analysis of logic programs based on a pre-interpretation, Report CW 233, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1996. http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW233.abs.html
  32. P. Tarau, and B. Demoen, Higher-order programming in an OR-intensive style, Report CW 192, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1994.
  33. P. Tarau, K. De Bosschere, and B. Demoen, Improving memoing with abstract answers and Delphi lemmas, Report CW 200, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1994.
  34. R. Moolenaar, and B. Demoen, Full parallel search in AKL, Report CW 201, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1994.
  35. G. Maris, B. Demoen, and M. Hermenegildo, Environment versus goal stacking in a parallel implementation of logic, Report CW 203, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1994.
  36. B. Demoen, and G. Maris, A comparison of some schemes for translating logic to C, Report CW 188, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1994.
  37. B. Demoen, G. Engels, and P. Tarau, Issues in (copying) garbage collection for (Bin)WAM, Report CW 202, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1994.
  38. M. Codish, B. Demoen, N. Ioffe, and V. Lagoon, Fact unfolding and the bottom-up evaluation of logic programs, Report CW 204, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1994.
  39. M. Codish, and B. Demoen, Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop, Report CW 187, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1994.
  40. R. Moolenaar, and B. Demoen, Hybrid tree search in the Andorra model, Report CW 184, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1993.
  41. A. Mariën, and B. Demoen, Findall without findall/3, Report CW 173, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1993.
  42. B. Demoen, and A. Mariën, Implementation issues in Prolog arithmetic, Report CW 172, Department of Computer Science, K.U.Leuven, Leuven, Belgium, February 1993.
  43. M. Codish, and B. Demoen, Analysing logic programs using propositional logic programs and a magic wand, Report CW 176, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1993.
  44. B. Demoen, and A. Mariën, Can Prolog execute as fast as Aquarius, Report CW 144, Department of Computer Science, K.U.Leuven, Leuven, Belgium 1992.
  45. R. Moolenaar, H. Van Acker, and B. Demoen, $kappa alpha pi pi alpha$ : A kernel Andorra Prolog parallel architecture design, Report CW 131, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1991.
  46. B. Demoen, and A. Mariën, A new scheme for unfication in WAM, Report CW 125, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1991.
  47. P. Weemeeuw, and B. Demoen, A la recherche de la mémoire perdue or: memory compaction for shared memory multiprocessors.Design and spefication, Report CW 112, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 1990.
  48. B. Demoen, and A. Mariën, Implementation of Prolog as binary definite programs, Report CW 129, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990.
  49. B. Demoen, and E. Boerger, A framework to specify database update views for Prolog, Report CW 120, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990.
  50. B. Demoen, On the transformation of a Prlog program to a more efficient binary program, Report CW 130, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990.
  51. B. Demoen, From a specification to an implementation of a database update view for Prolog: a proof, Report CW 121, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 1990.
  52. A. Mariën, and B. Demoen, On the management of E and B in WAM, Report CW 97, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989.
  53. B. Demoen, A. Mariën, and A. Callebaut, Indexing Prolog clauses, Report CW 95, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989.
  54. B. Demoen, The implementation of catch and throw in WAM: optimizations and alternatives, Report CW 99, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989.
  55. B. Demoen, A 20' implementation of catch and throw in WAM, Report CW 96, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 1989.
  56. G. Janssens, B. Demoen, and A. Mariën, Improving the register allocation in WAM by reordering unification, Report CW 71, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1988.
  57. G. Janssens, B. Demoen, and Y. D Willems, Execution mechanisms for PROLOG, Report CW 53, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 1987.
  58. M. Bruynooghe, G. Janssens, A. Callebaut, and B. Demoen, Abstract interpretation: towards the global optimisation of PROLOG programs, Report CW 56, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 1987.
  59. P. Van Roy, and B. Demoen, Improving the execution speed of compiled PROLOG with modes, clause selectio n, and determinism, Report CW 51, Department of Computer Science, K.U.Leuven, Leuven, Belgium, November 1986.