Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages

In conjunction with the 16th International Conference on Logic Programming

Las Cruces, December 1 1999

Advance Program

9:00 -- Workshop Opening

1.

A Static Analysis Method for a Classical Linear Logic Programming Language
K. Kang, N. Tamura

2.

Translating a Linear Logic Programming Language into Java
M. Banbara, N. Tamura

3.

The Implementation of the Hammurabi System
H. Lesourd

10:30-11:00 -- Coffe Break

4.

Attributed Variables in XSB
B. Cui, D. S. Warren

5.

A Constraint Logic Programming Framework in Java
L. Ferreira, S. P. Abreu

6.

Figaro: Yet Another Constraint Programming Library
M. Henz, T. Muller, Ng Ka Boon

12:30-14:30 -- Lunch Break

7.

The Ciao Modular Standalone Compiler and the Generic Program Processing Library
D. Cabeza, M. Hermenegildo

8.

Multi-engine Horn Clause Prolog
P. Tarau

9.

A New Module System for Prolog
D. Cabeza, M. Hermenegildo

16:00-17:00 -- Panel on Modules for Logic Languages (participants still to be decided)