Accepted Papers


  1. ``A Scheme for Executing Nested Recursion Parallelism'', J. Bevemyr, Computing Science Dept., Uppsala University, Uppsala, Sweden.

  2. ``Unfolding WAM Code'', M. Ferreira and L. Damas, LIACC, Universidade do Porto, Porto, Portugal.

  3. ``Analysis of Dependent And-Parallelism'', 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'', 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'', M. Hermenegildo and CLIP group, Universidad Politecnica de Madrid, Madrid, Spain.

  6. ``Structure Sharing and Structure Copying Revisited'', Xining Li, Dept. of Computer Science, Lakehead University, Thunder Bay, Canada.

  7. ``Compilation for Nested Recursion-Parallelism'', T. Lindgren, Computing Science Dept., Uppsala University, Uppsala, Sweden.

  8. ``The YAIL: An Intermediate Language for the Native Compilation of Prolog Programs'', R. Lopes and V. Santos Costa, LIACC, Universidade do Porto, Porto, Portugal.

  9. ``Using SimICS to Evaluate the Penny Systems'', J. Montelius and P. Magnusson, Swedish Institute of Computer Science, Kista, Sweden.

  10. ``Side Effects in PloSys OR-parallel Prolog on Distributed Memory Machines'', 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'', T. Muller and J. Wurtz, Programming Systems Lab, Saarbrucken, Germany.

  12. ``An Implementation of Or-Parallelism based on Direct Access to the MMU'', L. Perron, Ecole Normale Superieure, Paris, France.

  13. ``Three Implementations of Branch-and-Bound in CLP'', S. Prestwich, Nortel Technology, Harlow, England.

  14. ``Ask & Tell Linear Constraints in Constraint Logic Programming'', P. Refalo, LIM, Faculte des Sciences de Lumini, Marseille, France.

  15. ``Some Aspects of Implementing the Parallel DASWAM System'', K. Shen, Dept. of Computer Science, University of Manchester, Manchester, UK.

  16. ``Status of the Mercury System'', 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'', 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'', H. Vandecasteele, B. Demoen, J. Van Der Auwera, Department of Computer Science, Katholieke Universiteit Leuven, Belgium.


Enrico
Tue Apr 30 18:56:43 MDT 1996