Electronic Notes in Theoretical Computer Science, Volume 177

Volume 177, June 2007

• 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