Functional and Constraint Logic Programming
20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
Published on 12. July 2011
VII, 157 pages
978-3-642-22531-4 (ISBN)
Description
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.
More details
Other editions
Additional editions
Herbert Kuchen
Functional and Constraint Logic Programming
20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
Book
07/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Functional Logic Programming
- KiCS2: A New Compiler from Curry to Haskell
- Introduction
- Curry Programs
- Compilation to Haskell: The Basics
- Representing Non-deterministic Computations
- The Basic Translation Scheme
- Extracting Values
- Benchmarks
- Further Features
- Search Strategies
- Encapsulated Search
- Logic Variables and Unification
- Conclusions and Related Work
- References
- New Functional Logic Design Patterns
- Introduction
- Functional Logic Programming and Curry
- Patterns
- Call-by-Reference
- Many-to-Many
- Quantification
- Deep Selection
- Non-determinism Introduction and Elimination
- Conclusion and Related Work
- References
- XQuery in the Functional-Logic Language Toy
- Introduction
- XPath in TOY
- The Functional-Logic Language TOY
- Representing XPath Queries
- XQuery in TOY
- XQuery Optimization in TOY
- XQuery as Higher Order Patterns
- XQuery Transformations
- Conclusions
- References
- Functional Programming
- Size Invariant and Ranking Function Synthesis in a Functional Language
- Introduction
- Linear Constraints Techniques
- The Safe Functional Language
- Size Invariant Inference
- Ranking Function Synthesis
- Conclusions
- References
- Memoizing a Monadic Mixin DSL
- Application Domain
- Brief DSL Overview
- DSL Syntax
- Implementation
- C++ Abstract Syntax Tree
- The Combinator Stack
- The Code Generator
- Code Generation Mixins
- Monadic Components
- Effect Encapsulation
- Memoization and Inlining
- Basic Memoization
- Monadic Memoization
- Backend Sharing
- Evaluation
- Related Work
- Conclusions
- References
- A Functional Approach to Worst-Case Execution Time Analysis
- Introduction
- Related Work
- The Two-Level Meta-language
- Fixpoint Semantics
- The Static Analyzer
- Program Flow Analysis
- Microarchitectural Analysis
- Conclusions
- References
- Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming
- Introduction and Background
- Faceted Browsing
- Motivation
- Theoretical Background
- CouchDB and Its Map-Reduce Framework
- Design and Engineering Choices
- Map-Reduce Framework
- Implementation
- Document Ingestion
- Document Indexing with Map-Reduce
- Data Curation and Conversion of Views to Documents
- Faceted Search with Map-Reduce
- Web Interface
- Evaluation and Future Work
- Related Work and Conclusion
- References
- Integration of Constraint Logic and Object-Oriented Programming
- Logic Java: Combining Object-Oriented and Logic Programming
- Introduction
- Related Work
- Design of Logic Java
- General Principles
- Introductory Examples
- Implementation
- Strength and Limitations
- Conclusion and Future Work
- References
- Term Rewriting
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs
- Introduction
- Preliminaries
- Termination Criterion for Constrained TRSs
- Necessary Condition of Two Dependency Pairs for Forming a Chain
- DP Framework for Constrained TRSs
- Graph-Handling DP Framework for Constrained TRSs
- Conclusion
- References
- Author Index
