Functional and Constraint Logic Programming

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

  • Herbert Kuchen
Conference proceedings WFLP 2011

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

Table of contents

  1. Front Matter
  2. Functional Logic Programming

    1. Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
      Pages 1-18
    2. Sergio Antoy, Michael Hanus
      Pages 19-34
    3. Jesus M. Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
      Pages 35-51
  3. Functional Programming

    1. Ricardo Peña, Agustin D. Delgado-Muñoz
      Pages 52-67
    2. Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter Stuckey
      Pages 68-85
    3. Vítor Rodrigues, Mário Florido, Simão Melo de Sousa
      Pages 86-103
  4. Integration of Constraint Logic and Object-Oriented Programming

    1. Tim A. Majchrzak, Herbert Kuchen
      Pages 122-137
  5. Term Rewriting

  6. Back Matter

About these proceedings


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

Editors and affiliations

  • Herbert Kuchen
    • 1
  1. 1.Institut für WirtschaftsinformatikWestfälische Wilhelms-Universität MünsterMünsterGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-22530-7
  • Online ISBN 978-3-642-22531-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site