Contributed Papers
- ``A Scheme for Executing Nested
Recursion Parallelism'' [paper abstract and author(s) address(es)]
J. Bevemyr, Computing Science
Dept., Uppsala University, Uppsala, Sweden.
- ``Unfolding WAM Code'', [paper abstract and author(s) address(es)] M. Ferreira and L. Damas,
LIACC, Universidade do Porto, Porto, Portugal.
- ``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.
- ``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.
- ``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.
- ``Structure Sharing and Structure
Copying Revisited'' [paper abstract and author(s) address(es)],
Xining Li, Dept. of Computer Science, Lakehead University,
Thunder Bay, Canada.
- ``Compilation for Nested
Recursion-Parallelism'' [paper abstract and author(s) address(es)],
T. Lindgren,
Computing Science Dept., Uppsala University, Uppsala, Sweden.
- ``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.
- ``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.
- ``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.
- ``Interfacing Propagators with a
Concurrent Constraint Language'' [paper abstract and author(s) address(es)],
T. Muller and
J. Wurtz, Programming
Systems Lab, Saarbrucken, Germany.
- ``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.
- ``Three Implementations of
Branch-and-Bound in CLP'' [paper abstract and author(s) address(es)],
S. Prestwich, Nortel Technology, Harlow, England.
- ``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.
- ``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.
- ``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.
- ``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.
- ``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.