| CICLOPS program | | Wednesday July 31st, 2002 |
All sessions take place in auditorium 10.
CICLOPS's program is also available with abstracts.
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 |