Petri Nets, Flat Languages and Linear Arithmetic
L. Fribourg
ENS Cachan, France
Logic
Programming and Functional Nets
A. Mycroft
University of Cambridge, U.K.
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 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