Skip to main content
Springer Nature Link
Log in

Functional and Constraint Logic Programming

20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Herbert Kuchen

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • State-of-the-art Research
  • Fast-track Conference

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6816)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WFLP 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (9 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Functional and Constraint Logic Programming

Editors and Affiliations

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

    Herbert Kuchen

Bibliographic Information

Publish with us

Policies and ethics

Back to top