Abstract is missing.
- Logic Programming and Functional NetsAlan Mycroft. 1-7
- A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic ProgramRafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. 8-22
- On the Role of Functional-logic Languages for the Debugging of Imperative ProgramsÁngel Herranz-Nieva, Juan José Moreno-Navarro. 23-41
- Symbolic program execution using the Erlang verification toolClara Benac Earle. 42-55
- Theorem Proving and Programming with Dynamic First Order LogicJan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin. 56-71
- Functional Notation for Indexed ConceptsViacheslav Wolfengagen. 72-88
- Optimizing Eden by Program TransformationCristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura. 89-103
- Realistic Program Specialization in a Multi-Paradigm LanguageElvira Albert, Michael Hanus, Germán Vidal. 104-119
- A Formal Approach to Reasoning about the Effectiveness of Partial EvaluationElvira Albert, Sergio Antoy, Germán Vidal. 120-127
- The Reflective Design of Maude s Module AlgebraFrancisco Durán. 128-134
- Equationally Expressed EvaluationLarissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhailov, Lioubouv Bourmistrova, Anastassiya Berezovskaya. 135-143
- Functional features of a calculus for logic and concurrencyCorrado Priami, Ugo Solitro. 144-153
- Functional Transformation SystemsJan Kort, Ralf Lämmel, Joost Visser. 154-168
- Using PE to Automate Program CompositionMaría Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal. 169-183
- List-Processing Optimizations in a Multi-Paradigm Declarative LanguageElvira Albert, César Ferri, Frank Steiner, Germán Vidal. 184-194
- Constructive negation without subsidiary treesEdelmira Pasarella, Elvira Pino, Fernando Orejas. 195-209
- Expansion Postponement Problem for Pure Type Systems with UniversesBlas Carlos Ruiz-Giménez. 210-224
- The Use of Functional and Logic Languages in Machine LearningPeter A. Flach. 225-237
- Higher-order Lazy Narrowing Calculi in PerspectiveMircea Marin, Tetsuo Ida, Taro Suzuki. 238-252
- Strong and NV-sequentiality of constructor systemsSalvador Lucas. 253-267
- Proof-Theoretic Foundation of Hypothetical ReasoningPablo López, Ernesto Pimentel. 268-282
- The role of induction in (semi-)automated software life-cyclesJosé Hernández-Orallo, M. José Ramírez-Quintana. 283-295
- Learning functional logic classification concepts from databasesCésar Ferri, José Hernández-Orallo, M. José Ramírez-Quintana. 296-308
- Redundancy Analyses in Term RewritingMaría Alpuente, Santiago Escobar, Salvador Lucas. 309-323
- Partial Predicates for Demand AnalysisJulio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro. 324-339
- Redundant arguments in infinitary rewritingSalvador Lucas. 340-343
- Petri Nets, Flat Languages and Linear ArithmeticLaurent Fribourg. 344-365
- Server Side Web Scripting in CurryMichael Hanus. 366-381
- Cooperative Constraint Functional Logic ProgrammingMircea Marin, Tetsuo Ida. 382-390
- Markup Languages for Functional-Logic ProgrammingHarold Boley. 391-403
- A Graphical Environment for Functional Logic LanguagesJavier de Dios Castro, Juan Carlos González Moreno. 404-417
- Advantages of using Functional Languages in specifying GIS operationsGuido Gerding, Christoph Ruether, Werner Kuhn. 418-426
- Adding Linear Constraints over Real Numbers to CurryWolfgang Lux. 427-439
- A Higher-Order Programming Language with ConstraintsJavier Leach, Susana Nieva. 440-454
- Constraint Propagation on Multiple DomainsAntonio J. Fernández, Patricia M. Hill. 455-469
- Functional BeansAndré Rauber Du Bois, Antônio Carlos da Rocha Costa. 470-479
- Functional Specifications of Multilevel Highway NavigationSabine Timpf, Werner Kuhn. 480-485
- A Functional Approach to Complex Retrieval TasksAnthony Cox, Charles L. A. Clarke. 486-498
- Implementing an Object Oriented Design in CurryHerbert Kuchen. 499-509
- Compiler Construction in a Functional SettingRicardo Pena. 510-524
- An abstract machine based experimental system for a lazy narrowing calculusMaria Teresa Hortalá-González, Eva Ullán. 525-540