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.
Author(s): Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)
Series: Lecture Notes in Computer Science 6816
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 157
Tags: Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Symbolic and Algebraic Manipulation; Computer Imaging, Vision, Pattern Re
Front Matter....Pages -
KiCS2: A New Compiler from Curry to Haskell....Pages 1-18
New Functional Logic Design Patterns....Pages 19-34
XQuery in the Functional-Logic Language Toy....Pages 35-51
Size Invariant and Ranking Function Synthesis in a Functional Language....Pages 52-67
Memoizing a Monadic Mixin DSL....Pages 68-85
A Functional Approach to Worst-Case Execution Time Analysis....Pages 86-103
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming....Pages 104-121
Logic Java: Combining Object-Oriented and Logic Programming....Pages 122-137
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs....Pages 138-155
Back Matter....Pages -
