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
Electronic Edition (link) BibTeX
- Rafael Caballero, Christian Hermanns, Herbert Kuchen:
Algorithmic Debugging of Java Programs.
75-89
Electronic Edition (link) BibTeX
- Diego Cheda, Josep Silva, Germán Vidal:
Static Slicing of Rewrite Systems.
123-136
Electronic Edition (link) BibTeX
- Claudio Ochoa, Germán Puebla:
A Study on the Practicality of Poly-Controlled Partial Evaluation.
137-151
Electronic Edition (link) BibTeX
- Rafael Caballero, Yolanda García-Ruiz:
Implementing Dynamic-Cut in TOY.
153-168
Electronic Edition (link) BibTeX
- Vítor Nogueira, Salvador Abreu:
Temporal Contextual Logic Programming.
219-233
Electronic Edition (link) BibTeX
- Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza:
A Proposal for Disequality Constraints in Curry.
269-285
Electronic Edition (link) BibTeX
- Santiago Escobar, José Meseguer, Prasanna Thati:
Narrowing and Rewriting Logic: from Foundations to Applications.
5-33
Electronic Edition (link) BibTeX
- Peter Padawitz:
Expander2: Program Verification Between Interaction and Automation.
35-57
Electronic Edition (link) BibTeX
- Michael Hanus:
Reporting Failures in Functional Logic Programs.
59-73
Electronic Edition (link) BibTeX
- Bernd Braßel:
A Framework for Interpreting Traces of Functional Logic Computations.
91-106
Electronic Edition (link) BibTeX
- Parissa H. Sadeghi, Frank Huch:
The Interactive Curry Observation Debugger iCODE.
107-122
Electronic Edition (link) BibTeX
- Rudolf Berghammer, Sebastian Fischer:
Implementing Relational Specifications in a Constraint Functional Logic Language.
169-183
Electronic Edition (link) BibTeX
- Sebastian Fischer:
Lazy Database Access with Persistent Predicates.
185-200
Electronic Edition (link) BibTeX
- Clara Segura, Carmen Torrano:
Using Template Haskell for Abstract Interpretation.
201-217
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- R. González-del-Campo, Fernando Sáenz-Pérez:
Programmed Search in a Timetabling Problem over Finite Domains.
253-267
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:25 2009
by Michael Ley (ley@uni-trier.de)