WCFLP 2005

Thursday, September 29
Session 1 (Chair: Michael Hanus)
9.30-10.30 Claudio Ochoa, Josep Silva and Germán Vidal
Lightweight Program Specialization via Dynamic Slicing
Rafael Caballero
A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs
Session 2 (Chair: Germán Vidal)
11.00-12.30 Julio Mariño and Jose Maria Rey
Adding Constraints to Curry via Flat Guards
Sonia Estevez Martin and Rafael del Vado Virseda
Designing an Efficient Computation Strategy in CFLP(FD) Using Definitional Trees
Jesus M. Almendros-Jimenez
Constraint Logic Programming over Sets of Spatial Objects
Session 3 (Chair: Julio Mariño)
14.30-16.00 Michael Hanus
A Generic Analysis Environment for Declarative Programs
J. Guadalupe Ramos, Josep Silva and Germán Vidal
An Offline Partial Evaluator for Curry Programs
Sebastian Fischer
A Functional Logic Database Library
Session 4 (Chair: Francisco J. López-Fraguas)
16.30-18.00 Bernd Braßel and Frank Huch
Translating Curry To Haskell
Emilio Gallego and Julio Mariño
An Overview of the Sloth2005 Curry System
Individual system demonstrations, closing

Michael Hanus
Last modified: Mon Aug 8 17:34:51 PDT 2005