20. WFLP 2011: Odense, Denmark

Herbert Kuchen (Ed.): Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings. Lecture Notes in Computer Science 6816 Springer 2011, ISBN 978-3-642-22530-7

Functional Logic Programming

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
KiCS2: A New Compiler from Curry to Haskell. 1-18
Sergio Antoy, Michael Hanus:
New Functional Logic Design Patterns. 19-34
Jesús Manuel Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
XQuery in the Functional-Logic Language Toy. 35-51

Functional Programming

Ricardo Peña, Agustin D. Delgado-Muñoz:
Size Invariant and Ranking Function Synthesis in a Functional Language. 52-67
Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey:
Memoizing a Monadic Mixin DSL. 68-85
Vitor Rodrigues, Mário Florido, Simão Melo de Sousa:
A Functional Approach to Worst-Case Execution Time Analysis. 86-103
Claus Zinn:
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming. 104-121

Integration of Constraint Logic and Object-Oriented Programming

Tim A. Majchrzak, Herbert Kuchen:
Logic Java: Combining Object-Oriented and Logic Programming. 122-137

Term Rewriting

Tsubasa Sakata, Naoki Nishida, Toshiki Sakabe:
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs. 138-155

Last update Fri May 25 08:48:48 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page