𝔖 Scriptorium

✦ LIBER ✦

📁

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

✍ Scribed by Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuchen (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Tongue: English
Leaves: 162
Series: Lecture Notes in Computer Science 6816 Theoretical Computer Science and General Issues
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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

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 -

✦ Subjects

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

📜 SIMILAR VOLUMES

Functional and Constraint Logic Programm

📁 Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

✍ Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck (auth.), Herbert Kuche 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>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 201

Functional and Constraint Logic Programm

📁 Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011 Odense, Denmark, July 19, 2011 Proceedings

✍ Herbert Kuchen 📂 Library 📅 2011 🏛 Springer 🌐 English

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),

Functional and Constraint Logic Programm

📁 Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

✍ Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantov 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>This book contains a selection of the papers presented at the 19<sup>th</sup> International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010.</p><p>From th

Functional and Constraint Logic Programm

📁 Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

✍ Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantov 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>This book contains a selection of the papers presented at the 19<sup>th</sup> International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010.</p><p>From th

Functional and Constraint Logic Programm

📁 Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

✍ Josep Silva 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

<p>This book constitutes the refereed post-conference proceedings of the 26th International Workshop on Functional and Constraint Logic Programming, WFLP 2018, held in Frankfurt/Main, Germany, in September 2018. <p></p><p>From the 19 full papers submitted,12 were accepted for presentation at the wor

Functional and Constraint Logic Programm

📁 Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

✍ Roberto Ierusalimschy (auth.), Santiago Escobar (eds.) 📂 Library 📅 2010 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The 9