Volume 216, July 2008

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007)

• 
  Rachid Echahed: Preface. 1-2
• 
  Murdoch Gabbay, Michael Gabbay: a-Logic With Arrows. 3-29
• 
  Tetsuo Ida, Mircea Marin, Hidekazu Takahashi, Fadoua Ghourabi: Computational Origami Construction as Constraint Solving and Rewriting. 31-44
• 
  Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen: Inferring Static Non-monotone Size-aware Types Through Testing. 45-63
• 
  Wolfgang Lux: Declarative Debugging Meets the World. 65-77
• 
  Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez: A New Proposal for Debugging Datalog Programs. 79-92
• 
  Michele Baggi, Demis Ballis: Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. 93-109
• 
  Bernd Braßel, Sebastian Fischer, Frank Huch: Declaring Numbers. 111-124