CICLOPS program

Wednesday July 31st, 2002

All sessions take place in auditorium 10.

CICLOPS's program is also available with abstracts or side by side with other meetings.

11:30-12:30  Session 1: LP and Program Analysis
Chair: Ricardo Lopes

11:30  Tom Schrijvers, K.U. Leuven, Belgium
Combining an improvement to PARMA trailing with analysis in HAL
12:00  Michel Ferreira and Luis Damas, U Porto, Portugal
WAM local analysis

12:30-14:00  Lunch

14:00-15:30  Session 2: (C)LP and OO
Chair: Christian Schulte

14:00  Rémi Douence and Narendra Jussien, Ecole des Mines de Nantes, France
Non-intrusive constraint solver enhancements
14:30  Angel Pineda and Francisco Bueno, Techn. U of Madrid, Spain
The O'Ciao approach to OO LP
15:00  Manuel Carro and Manuel Hermenegildo, Techn. U of Madrid, Spain
A simple approach to distributed objects in Prolog

15:30-16:00  Refreshments

16:00-17:00  Session 3: LP and its implementation guts
Chair: Kostis Sagonas

16:00  Hia-Feng Guo, State U of New York-Stony Brook, USA and Gopal Gupta, U Texas-Dallas, USA
Cuts in tabled logic programming
16:30  Luis F. Castro, State U of New York-Stony Brook, USA; Vitor S. Costa, U Wisconsin-Madison, USA; and Ricardo Lopes, U Porto, Portugal
On the cache performance of Prolog systems