18. WFLP 2009:
Brasilia,
Brazil
Santiago Escobar (Ed.):
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers.
Lecture Notes in Computer Science 5979 Springer 2010, ISBN 978-3-642-11998-9 
Invited Papers
Contributed Papers
- Ignacio Castiñeiras, Fernando Sáenz-Pérez:
Integrating ILOG CP Technology into TOY\mathcal{TOY}.
27-43
- Stephan Falke, Deepak Kapur:
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.
44-61
- Makoto Hamana:
Semantic Labelling for Proving Termination of Combinatory Reduction Systems.
62-78
- Manuel Hernández:
A Taxonomy of Some Right-to-Left String-Matching Algorithms.
79-95
- Yuki Kato, Koji Nakazawa:
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types.
96-110
- Michael Leuschel, Salvador Tamarit, Germán Vidal:
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.
111-127
- Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
New Results on Type Systems for Functional Logic Programming.
128-144
- Manuel Montenegro, Ricardo Peña-Marí, Clara Segura:
A Simple Region Inference Algorithm for a First-Order Functional Language.
145-161
- Rafael del Vado Vírseda, Ignacio Castiñeiras:
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions.
162-178
Last update Fri May 25 08:48:48 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
