Functional and Constraint Logic Programming

1. Front Matter

   PDF

2. Functional Logic Programming

   1. KiCS2: A New Compiler from Curry to Haskell

      • Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck

      Pages 1-18

   2. New Functional Logic Design Patterns

      • Sergio Antoy, Michael Hanus

      Pages 19-34

   3. XQuery in the Functional-Logic Language Toy

      • Jesus M. Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez

      Pages 35-51

3. Functional Programming

   1. Size Invariant and Ranking Function Synthesis in a Functional Language

      • Ricardo Peña, Agustin D. Delgado-Muñoz

      Pages 52-67

   2. Memoizing a Monadic Mixin DSL

      • Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter Stuckey

      Pages 68-85

   3. A Functional Approach to Worst-Case Execution Time Analysis

      • Vítor Rodrigues, Mário Florido, Simão Melo de Sousa

      Pages 86-103

   4. Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming

      • Claus Zinn

      Pages 104-121

4. Integration of Constraint Logic and Object-Oriented Programming

   1. Logic Java: Combining Object-Oriented and Logic Programming

      • Tim A. Majchrzak, Herbert Kuchen

      Pages 122-137

5. Term Rewriting

   1. On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs

      • Tsubasa Sakata, Naoki Nishida, Toshiki Sakabe

      Pages 138-155

6. Back Matter

   PDF

This book constitutes the refereed conference proceedings of the 20th International Workshop on Functional and Constraint Logic Programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011), the 22st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011). From the 10 papers submitted, 9 were accepted for presentation the proceeding. The papers cover current research in all areas of functional and logic programming as well as the integration of constraint logic and object-oriented programming, and term rewriting.

• Java
• XQuery
• abstract interpretation
• higher-order patterns
• non-deterministic functions

• Institut für Wirtschaftsinformatik, Westfälische Wilhelms-Universität Münster, Münster, Germany

  Herbert Kuchen

Policies and ethics