Volume 177, June 2007

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP 2006)

• 
  Francisco Javier López-Fraguas: Preface. 1-3
• 
  Rafael Caballero, Christian Hermanns, Herbert Kuchen: Algorithmic Debugging of Java Programs. 75-89
• 
  Diego Cheda, Josep Silva, Germán Vidal: Static Slicing of Rewrite Systems. 123-136
• 
  Claudio Ochoa, Germán Puebla: A Study on the Practicality of Poly-Controlled Partial Evaluation. 137-151
• 
  Rafael Caballero, Yolanda García-Ruiz: Implementing Dynamic-Cut in TOY. 153-168
• 
  Vítor Nogueira, Salvador Abreu: Temporal Contextual Logic Programming. 219-233
• 
  Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza: A Proposal for Disequality Constraints in Curry. 269-285
• 
  Santiago Escobar, José Meseguer, Prasanna Thati: Narrowing and Rewriting Logic: from Foundations to Applications. 5-33
• 
  Peter Padawitz: Expander2: Program Verification Between Interaction and Automation. 35-57
• 
  Michael Hanus: Reporting Failures in Functional Logic Programs. 59-73
• 
  Bernd Braßel: A Framework for Interpreting Traces of Functional Logic Computations. 91-106
• 
  Parissa H. Sadeghi, Frank Huch: The Interactive Curry Observation Debugger iCODE. 107-122
• 
  Rudolf Berghammer, Sebastian Fischer: Implementing Relational Specifications in a Constraint Functional Logic Language. 169-183
• 
  Sebastian Fischer: Lazy Database Access with Persistent Predicates. 185-200
• 
  Clara Segura, Carmen Torrano: Using Template Haskell for Abstract Interpretation. 201-217
• 
  Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda: A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. 235-252
• 
  R. González-del-Campo, Fernando Sáenz-Pérez: Programmed Search in a Timetabling Problem over Finite Domains. 253-267