CICLOPS'2002 31 July 2002


Hopefully final Program


Session I
---------

11h30-12h
Title: Combining an improvement to PARMA trailing with analysis in HAL
Authors: Tom Schrijvers

12h-12h30
Title: WAM Local Analysis 
Authors: Michel Ferreira and Luis Damas 


Lunch: 12h30-14h
----------------


Session II
----------


14h-14h30
Title: Non-intrusive constraint solver enhancements 
Authors: Remi Douence and Narendra Jussien 

14h30-15h
Title: The O'Ciao Approach to OO LP 
Authors: Angel Pineda, Francisco Bueno 

15h-15h30
Title: A Simple Approach to Distributed Objects in Prolog 
Authors: Manuel Carro, Manuel Hermenegildo 


Break: 15h30-16h refreshments provided by FLoC
----------------


Session III
----------

16h-16h30
Title: Cuts in Tabled Logic Programming
Authors: Hia-Feng Guo, Gopal Gupta

16h30-17h
Title: On the Cache Performance of Prolog Systems
Authors: Luis F. Castro, Vitor S. Costa, Ricardo Lopes

17h: closing of CICLOPS'2002