WCFLP 2005: Tallinn, Estonia

Session 1

• Claudio Ochoa, Josep Silva, Germán Vidal:
  Lightweight program specialization via dynamic slicing. 1-7
  
• Rafael Caballero:
  A declarative debugger of incorrect answers for constraint functional-logic programs. 8-13
  

Session 2

• Julio Mariño, José María Rey Poza:
  Adding constraints to curry via flat guards. 14-22
  
• Sonia Estévez Martín, Rafael del Vado Vírseda:
  Designing an efficient computation strategy in CFLP(FD) using definitional trees. 23-31
  
• Jesús Manuel Almendros-Jiménez:
  Constraint logic programming over sets of spatial objects. 32-42
  

Session 3

• Michael Hanus:
  A generic analysis environment for declarative programs. 43-48
  
• J. Guadalupe Ramos, Josep Silva, Germán Vidal:
  An offline partial evaluator for curry programs. 49-53
  
• Sebastian Fischer:
  A functional logic database library. 54-59
  

Session 4

• Bernd Braßel, Frank Huch:
  Translating curry to haskell system demo. 60-65
  
• Emilio Jesús Gallego Arias, Julio Mariño:
  An overview of the Sloth2005 curry system: system description. 66-69