175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Theoretical Computer Science and General Issues

Functional and Constraint Logic Programming

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

Editors: Kuchen, Herbert (Ed.)

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

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-22531-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-22530-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (9 chapters)

  • KiCS2: A New Compiler from Curry to Haskell

    Braßel, Bernd (et al.)

    Pages 1-18

  • New Functional Logic Design Patterns

    Antoy, Sergio (et al.)

    Pages 19-34

  • XQuery in the Functional-Logic Language Toy

    Almendros-Jiménez, Jesus M. (et al.)

    Pages 35-51

  • Size Invariant and Ranking Function Synthesis in a Functional Language

    Peña, Ricardo (et al.)

    Pages 52-67

  • Memoizing a Monadic Mixin DSL

    Wuille, Pieter (et al.)

    Pages 68-85

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-22531-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-22530-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Functional and Constraint Logic Programming
Book Subtitle
20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
Editors
  • Herbert Kuchen
Series Title
Theoretical Computer Science and General Issues
Series Volume
6816
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-22531-4
DOI
10.1007/978-3-642-22531-4
Softcover ISBN
978-3-642-22530-7
Edition Number
1
Number of Pages
VII, 157
Topics