First COMPULOG NET Workshop

on

Parallelism and Implementation Technologies

Organising Committee

Presented Papers

Andorra-I.ps.Z

Performance of the Compiler-based Andorra-I System
D. H. D. Warren (U. of Bristol, U.K.)
Work in collaboration with R. Yang, T. Beaumont, I. Dutra, V. Santos-Costa

smoothing.ps.Z

Smoothing the rough edges in Aurora
M. Carlsson (SICS, Sweden), E. L. Lusk (AN Laboratory, U.S.A.), P. Szeredi (IQSOFT, Hungary)

muse.ps.Z

Scheduling Speculative Work in MUSE
K. A. M. Ali, R. Karlsson (SICS, Sweden)

or_model.ps.Z

An OR Parallel Prolog Model for Distributed Memory Systems
V. Benjumea, J.M. Troya (U. of Málaga, Spain)

dist_unif.ps.Z

Implementing Unification in a Distributed Environment
A. Ciampolini, E. Lamma, P. Mello, C. Stefanelli (U. of Bologna, Italy)

Not available

Exploiting Restricted And-Parallelism and Or-Parallelism in Logic Programs with Multisystems
G. Escalada-Imaz (Research Institute in Artificial Inteligence, Spain)

ciao.ps.Z

Towards CIAO-Prolog -- a parallel concurrent constraint system
M. V. Hermenegildo and the CLIP group (Technical U. of Madrid, Spain)

ACE.ps.Z

Issues in Implementing ACE: A Stack Copying Based And-Or Parallel System
E. Pontelli, G. Gupta (New Mexico State U., U.S.A.), M. V. Hermenegildo (UPM, Spain)

boundedq.ps.Z

Executing Bounded Quantifications on Shared Memory Multiprocessors
J. Barklund, J. Bevemyr (Uppsala University, Sweden)

reform.ps.Z

Reform Prolog
J. Bevemyr, T. Lindgren, H. Millroth (Uppsala University, Sweden)

parsing.ps.Z

Parsing as Resolution
M. Vilares, J. Graña (U. of La Coruña, Spain)

const_win.ps.Z

Constraint Window in AKL
J. Montelius (SICS, Sweden)

int_pruning.ps.Z

Towards AKL with Intelligent Pruning
S. Abreu, L. M. Pereira (New U. of Lisboa, Portugal)

promotion.ps.Z

Optimization techniques for nondeterministic promotion in the Andorra Kernel Language
R. Moolenaar, B. Demoen (Catholic U. of Leuven, Belgium)

c_tableaux.ps.Z

Concurrent Tableaux
J. Cunningham (Imperial College, U.K.)

turbo_e.ps.Z

Turbo Erlang: An Efficient Implementation of A Concurrent Programming Language
B. Hausman (Ellemtel Telecommunications Systems Laboratories, Sweden)

ext_unif.ps.Z

An Integration of Logic and Objects by Extending Unification
E. Pimentel, J.M. Troya (U. of Málaga, Spain)

sh_groups.ps.Z

Sharing Groups Revisited
A. King (U. of Southampton, U.K.)

demand.ps.Z

Using Demandedness Information on the Compilation of Lazy Narrowing
J.J. Moreno-Navarro, J. Mariño (Technical U. of Madrid, Spain),
H. Kuchen, W. Hans, S. Winkler (U. of Aachen, Germany)