WFLP'2000
Abstracts accepted for presentation



A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
E. Albert, S. Antoy, and G. Vidal
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain
Department of Computer Science, Portland State University, Portland, U.S.A.

List-Processing Optimizations in a Multi-Paradigm Declarative Language
E. Albert, C. Ferri, F. Steiner, and G. Vidal
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain
Institut fuer Informatik, Christian-Albrechts-Universitaet Kiel, Germany

Realistic Program Specialization in a Multi-Paradigm Language
E. Albert, M. Hanus, and G. Vidal
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain
Institut fuer Informatik, Christian-Albrechts-Universitaet Kiel, Germany

Redundancy Analyses in Term Rewriting
M. Alpuente, S. Escobar, and S. Lucas
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain

Using PE to Automate Program Composition
M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain
Dipartimento di Matematica e Informatica, Università di Udine, Italy
Departamento de Informática, Universidad de Castilla-La Mancha, Spain

Symbolic program execution using the Erlang verification tool
C. Benac-Earle
Computer Science Laboratory, Ericsson Utvecklings AB, Alvsjo, Sweden

Markup Languages for Functional-Logic Programming
H. Boley
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH, Germany

A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Programs
R. Caballero, F.J. López-Fraguas, and M. Rodríguez-Artalejo
Departamento de Sistemas Informáticos y Programación. Universidad Complutense de Madrid, Spain

A Graphical Environment for Functional Logic Languages
J.D. Castro and J.C. González-Moreno
Departamento de Sistemas Informáticos y Programación. Universidad Complutense de Madrid, Spain

A Functional Approach to Complex Retrieval Tasks
A. Cox and C. Clarke
University of Waterloo, Canada

The Reflective Design of Maude's Module Algebra (Extended Abstract)
F. Durán
Departamento de Lenguajes y Sistemas Informáticos, Universidad de Málaga, Spain

Theorem Proving and Programming with Dynamic First Order Logic
J. van Eijck, J. Heguiabehere, B. Ó Nualláin
ILLC, University of Amsterdam and CWI, The Netherlands

Constraint Propagation on Multiple Domains
A.J. Fernández and P. Hill
Departamento de Lenguajes y Ciencias de la Computación Universidad de Málaga, Spain
School for Computer Studies, University of Leeds, England

Learning functional logic classification concepts from databases
C. Ferri, J. Hernández, and M.J. Ramírez
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain

Advantages of using Functional Languages in specifying GIS operations
G. Gerding, C. Ruether, and W. Kuhn
Institute for Geoinformatics, Muenster, Germany

Server Side Web Scripting in Curry
M. Hanus
Institut fuer Informatik, Christian-Albrechts-Universitaet Kiel, Germany

The role of induction in (semi-)automated software life-cycles
J. Hernández and M.J. Ramírez
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain

On the Role of Functional-logic Languages for the Debugging of Imperative Programs
A. Herranz-Nieva, J.J. Moreno-Navarro
Departamento LSIIS. Facultad de Informática, Universidad Politécnica de Madrid, Spain

An abstract machine based experimental system for a lazy narrowing calculus
T. Hortalá and E. Ullán
Departamento de Sistemas Informáticos y Programación. Universidad Complutense de Madrid, Spain

Equationally Expressed Evaluation (Extended Abstract)
L. Ismailova, S. Kosikov, K. Zinchenko, A. Mikhailov, L. Bourmistrova, and A. Berezovskaya
Institute for Contemporary Education "JurInforR-MSU", Moscow, Russia

Functional Transformation Systems
J. Kort, R. Laemmel, and J. Visser
University of Amsterdam, The Netherlands
CWI, Amsterdam, The Netherlands

Implementing an Object Oriented Design in Curry (Extended Abstract)
H. Kuchen
Universitaet Muenster, Germany

A Higher-Order Programming Language with Constraints
J. Leach and S. Nieva
Departamento de Sistemas Informáticos y Programación. Universidad Complutense de Madrid, Spain

Proof-Theoretic Foundation of Hypothetical Reasoning
P. López and E. Pimentel
Departamento de Lenguajes y Sistemas Informáticos, Universidad de Málaga, Spain

Redundant arguments in infinitary rewriting (extended abstract)
S. Lucas
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain

Strong and NV-sequentiality of constructor systems (extended abstract)
S. Lucas
Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain

Adding Linear Constraints over Real Numbers to Curry
W. Lux
Universitaet Muenster, Germany

Partial Predicates for Demand Analysis (extended abstract)
J. Mariño, A. Herranz-Nieva, J.J. Moreno-Navarro
Universidad Politécnica de Madrid, Spain

Cooperative Constraint Functional Logic Programming
M. Marin and T. Ida
Institute of Information Sciences and Electronics. University of Tsukuba, Japan

Higher-order Lazy Narrowing Calculi in Perspective
M. Marin, T. Ida, and T. Suzuki
Institute of Information Sciences and Electronics. University of Tsukuba, Japan
RIEC. Tohoku University, Japan

Optimizing Eden by Program Transformation
C. Pareja, R. Peña, F. Rubio, and C. Segura
Universidad Complutense de Madrid, Spain

Constructive negation without subsidiary trees
E. Pasarela, E. Pino, and F. Orejas
Departamento de L.S.I, Universidad Politècnica de Catalunya, Spain

Compiler Construction in a Functional Setting
R. Peña
Universidad Complutense de Madrid, Spain

Functional features of a calculus for logic and concurrency
C. Priami and U. Solitro
Dipartimento Scientifico Tecnologico, Università di Verona, Italy

Functional Beans
A. Rauber Du Bois and A.C. da Rocha Costa
Instituto de Informática (PPGC). UFRGS-Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil
Escola de Informática, UCPel-Universidade Católica de Pelotas, Brazil

The Expansion Postponement Problem for Pure Type Systems with Universes (Extended Abstract)
B.C. Ruiz Giménez
Departamento de Lenguajes y Sistemas Informáticos, Universidad de Málaga, Spain

Functional Specifications of Multilevel Highway Navigation (Extended Abstract)
S. Timpf and W. Kuhn
Department of Geoinformation, Technical University of Vienna, Austria
Department of Geoinformatics, University of Muenster, Germany

Functional Notation for Indexed Concepts (Extended Abstract)
V. Wolfengagen
Institute for Contemporary Education "JurInforR-MSU", Moscow, Russia



WFLP'2000