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- Alan Mycroft: Logic Programming and Functional Nets. 1-7
- 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
- Ángel Herranz-Nieva, Juan José Moreno-Navarro: On the Role of Functional-logic Languages for the Debugging of Imperative Programs. 23-41
- Clara Benac Earle: Symbolic program execution using the Erlang verification tool. 42-55
- Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Theorem Proving and Programming with Dynamic First Order Logic. 56-71
- Viacheslav Wolfengagen: Functional Notation for Indexed Concepts. 72-88
- Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimizing Eden by Program Transformation. 89-103
- Elvira Albert, Michael Hanus, Germán Vidal: Realistic Program Specialization in a Multi-Paradigm Language. 104-119
- Elvira Albert, Sergio Antoy, Germán Vidal: A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. 120-127
- Francisco Durán: The Reflective Design of Maude's Module Algebra. 128-134
- Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhailov, Lioubouv Bourmistrova, Anastassiya Berezovskaya: Equationally Expressed Evaluation. 135-143
- María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal: Using PE to Automate Program Composition. 169-183
- Elvira Albert, César Ferri, Frank Steiner, Germán Vidal: List-Processing Optimizations in a Multi-Paradigm Declarative Language. 184-194
- Edelmira Pasarella, Elvira Pino, Fernando Orejas: Constructive negation without subsidiary trees. 195-209
- Blas Carlos Ruiz-Giménez: Expansion Postponement Problem for Pure Type Systems with Universes. 210-224
- Peter A. Flach: The Use of Functional and Logic Languages in Machine Learning. 225-237
- Salvador Lucas: Strong and NV-sequentiality of constructor systems. 253-267
- José Hernández-Orallo, M. José Ramírez-Quintana: The role of induction in (semi-)automated software life-cycles. 283-295
- César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana: Learning functional logic classification concepts from databases. 296-308
- Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro: Partial Predicates for Demand Analysis. 324-339
- Salvador Lucas: Redundant arguments in infinitary rewriting. 340-343
- Laurent Fribourg: Petri Nets, Flat Languages and Linear Arithmetic. 344-365
- Michael Hanus: Server Side Web Scripting in Curry. 366-381
- Harold Boley: Markup Languages for Functional-Logic Programming. 391-403
- Javier de Dios Castro, Juan Carlos González Moreno: A Graphical Environment for Functional Logic Languages. 404-417
- Guido Gerding, Christoph Ruether, Werner Kuhn: Advantages of using Functional Languages in specifying GIS operations. 418-426
- Wolfgang Lux: Adding Linear Constraints over Real Numbers to Curry. 427-439
- Herbert Kuchen: Implementing an Object Oriented Design in Curry. 499-509
- Ricardo Pena: Compiler Construction in a Functional Setting. 510-524
- Maria Teresa Hortalá-González, Eva Ullán: An abstract machine based experimental system for a lazy narrowing calculus. 525-540
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team