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