Contributed Papers



  1. ``A Scheme for Executing Nested Recursion Parallelism'' [paper abstract and author(s) address(es)] J. Bevemyr, Computing Science Dept., Uppsala University, Uppsala, Sweden.

  2. ``Unfolding WAM Code'', [paper abstract and author(s) address(es)] M. Ferreira and L. Damas, LIACC, Universidade do Porto, Porto, Portugal.

  3. ``Analysis of Dependent And-Parallelism'' [paper abstract and author(s) address(es)], G. Gupta and E. Pontelli, Laboratory for Logic, DBs, and Advanced Programming, Dept. of Computer Science, New Mexico State University, Las Cruces, USA.

  4. ``Last Alternative Optimization'' [paper abstract and author(s) address(es)], G. Gupta and E. Pontelli, Laboratory for Logic, DBs, and Advanced Programming, Dept. of Computer Science, New Mexico State University, Las Cruces, USA.

  5. ``The CIAO Multi-Dialect Compiler and System: a Demo and Status Report'' [paper abstract and author(s) address(es)], M. Hermenegildo and CLIP group, Universidad Politecnica de Madrid, Madrid, Spain.

  6. ``Structure Sharing and Structure Copying Revisited'' [paper abstract and author(s) address(es)], Xining Li, Dept. of Computer Science, Lakehead University, Thunder Bay, Canada.

  7. ``Compilation for Nested Recursion-Parallelism'' [paper abstract and author(s) address(es)], T. Lindgren, Computing Science Dept., Uppsala University, Uppsala, Sweden.

  8. ``The YAIL: An Intermediate Language for the Native Compilation of Prolog Programs'' [paper abstract and author(s) address(es)], R. Lopes and V. Santos Costa, LIACC, Universidade do Porto, Porto, Portugal.

  9. ``Using SimICS to Evaluate the Penny Systems'' [paper abstract and author(s) address(es)], J. Montelius and P. Magnusson, Swedish Institute of Computer Science, Kista, Sweden.

  10. ``Side Effects in PloSys OR-parallel Prolog on Distributed Memory Machines'' [paper abstract and author(s) address(es)], E. Morel, J. Briat, J. Chassin de Kergommeaux, C. Geyer, Project CNRS-INRIA APACHE, LMC-IMAG, Grenoble, France.

  11. ``Interfacing Propagators with a Concurrent Constraint Language'' [paper abstract and author(s) address(es)], T. Muller and J. Wurtz, Programming Systems Lab, Saarbrucken, Germany.

  12. ``An Implementation of Or-Parallelism based on Direct Access to the MMU'' [paper abstract and author(s) address(es)], L. Perron, Ecole Normale Superieure, Paris, France.

  13. ``Three Implementations of Branch-and-Bound in CLP'' [paper abstract and author(s) address(es)], S. Prestwich, Nortel Technology, Harlow, England.

  14. ``Ask & Tell Linear Constraints in Constraint Logic Programming'' [paper abstract and author(s) address(es)], P. Refalo, LIM, Faculte des Sciences de Lumini, Marseille, France.

  15. ``Some Aspects of Implementing the Parallel DASWAM System'' [paper abstract and author(s) address(es)], K. Shen, Dept. of Computer Science, University of Manchester, Manchester, UK.

  16. ``Status of the Mercury System'' [paper abstract and author(s) address(es)], Z. Somogyi, F. Henderson, T. Conway, A. Bromage, T. Dowd, D. Jeffery, P. Ross, P. Schachte, S. Taylor, Dept. of Computer Science, University of Melbourne, Parkville, Australia.

  17. ``A Static Implementation of the Basic Andorra Model for Distributed Memory Systems'' [paper abstract and author(s) address(es)], V. Benjumea and J.M. Troya, Dept. Leng. Ciencias Computacion, Universidad de Malaga, Spain.

  18. ``The Use of Mercury for the Implementation of a Finite Domain Solver'' [paper abstract and author(s) address(es)], H. Vandecasteele, B. Demoen, J. Van Der Auwera, Department of Computer Science, Katholieke Universiteit Leuven, Belgium.