WCFLP 2005: Tallinn, Estonia

Session 1

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

Session 2

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

Session 3

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

Session 4

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