default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th WFLP 2006: Madrid, Spain
- Francisco Javier López-Fraguas:
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006. Electronic Notes in Theoretical Computer Science 177, Elsevier 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 - Ramón González del Campo, Fernando Sáenz-Pérez:
Programmed Search in a Timetabling Problem over Finite Domains. 253-267
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-04 22:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
