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