9. WFLP 2000:
Benicassim, Spain
María Alpuente (Ed.):
9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000.
2000 
- Alan Mycroft:
Logic Programming and Functional Nets.
1-7
- Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo:
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.
8-22
- Ángel Herranz-Nieva, Juan José Moreno-Navarro:
On the Role of Functional-logic Languages for the Debugging of Imperative Programs.
23-41
- Clara Benac Earle:
Symbolic program execution using the Erlang verification tool.
42-55
- Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin:
Theorem Proving and Programming with Dynamic First Order Logic.
56-71
- Viacheslav Wolfengagen:
Functional Notation for Indexed Concepts.
72-88
- Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Optimizing Eden by Program Transformation.
89-103
- Elvira Albert, Michael Hanus, Germán Vidal:
Realistic Program Specialization in a Multi-Paradigm Language.
104-119
- Elvira Albert, Sergio Antoy, Germán Vidal:
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.
120-127
- Francisco Durán:
The Reflective Design of Maude's Module Algebra.
128-134
- Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhailov, Lioubouv Bourmistrova, Anastassiya Berezovskaya:
Equationally Expressed Evaluation.
135-143
- Corrado Priami, Ugo Solitro:
Functional features of a calculus for logic and concurrency.
144-153
- Jan Kort, Ralf Lämmel, Joost Visser:
Functional Transformation Systems.
154-168
- María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal:
Using PE to Automate Program Composition.
169-183
- Elvira Albert, César Ferri, Frank Steiner, Germán Vidal:
List-Processing Optimizations in a Multi-Paradigm Declarative Language.
184-194
- Edelmira Pasarella, Elvira Pino, Fernando Orejas:
Constructive negation without subsidiary trees.
195-209
- Blas Carlos Ruiz-Giménez:
Expansion Postponement Problem for Pure Type Systems with Universes.
210-224
- Peter A. Flach:
The Use of Functional and Logic Languages in Machine Learning.
225-237
- Mircea Marin, Tetsuo Ida, Taro Suzuki:
Higher-order Lazy Narrowing Calculi in Perspective.
238-252
- Salvador Lucas:
Strong and NV-sequentiality of constructor systems.
253-267
- Pablo López, Ernesto Pimentel:
Proof-Theoretic Foundation of Hypothetical Reasoning.
268-282
- José Hernández-Orallo, M. José Ramírez-Quintana:
The role of induction in (semi-)automated software life-cycles.
283-295
- César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Learning functional logic classification concepts from databases.
296-308
- María Alpuente, Santiago Escobar, Salvador Lucas:
Redundancy Analyses in Term Rewriting.
309-323
- Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis.
324-339
- Salvador Lucas:
Redundant arguments in infinitary rewriting.
340-343
- Laurent Fribourg:
Petri Nets, Flat Languages and Linear Arithmetic.
344-365
- Michael Hanus:
Server Side Web Scripting in Curry.
366-381
- Mircea Marin, Tetsuo Ida:
Cooperative Constraint Functional Logic Programming.
382-390
- Harold Boley:
Markup Languages for Functional-Logic Programming.
391-403
- Javier de Dios Castro, Juan Carlos González Moreno:
A Graphical Environment for Functional Logic Languages.
404-417
- Guido Gerding, Christoph Ruether, Werner Kuhn:
Advantages of using Functional Languages in specifying GIS operations.
418-426
- Wolfgang Lux:
Adding Linear Constraints over Real Numbers to Curry.
427-439
- Javier Leach, Susana Nieva:
A Higher-Order Programming Language with Constraints.
440-454
- Antonio J. Fernández, Patricia M. Hill:
Constraint Propagation on Multiple Domains.
455-469
- André Rauber Du Bois, Antônio Carlos da Rocha Costa:
Functional Beans.
470-479
- Sabine Timpf, Werner Kuhn:
Functional Specifications of Multilevel Highway Navigation.
480-485
- Anthony Cox, Charles L. A. Clarke:
A Functional Approach to Complex Retrieval Tasks.
486-498
- Herbert Kuchen:
Implementing an Object Oriented Design in Curry.
499-509
- Ricardo Pena:
Compiler Construction in a Functional Setting.
510-524
- Maria Teresa Hortalá-González, Eva Ullán:
An abstract machine based experimental system for a lazy narrowing calculus.
525-540
Last update Thu May 23 18:08:46 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
